Hi list, I just installed Xen 4.3.1 for EFI according to https://bbs.archlinux.org/viewtopic.php?pid=1359933 and tried to boot it. There was a crash at the very beginning, notifying me of a bug at traps.c:3271. I could not find any logs, so I just noted the stack trace on a sheet of paper: do_device_not_available handle_exception efi_get_time get_cmos_time init_xen_time __start_xen Does that mean my hardware is incompatible? Where would I find the Xen startup log, anyway? Thank you! Martin