Is booting into xen from uefi meant to work? I have a slightly unorthdox set up, but get: >> NetBSD/x86 EFI Boot (x64), Revision 1.1 (Tue Jan 28 13:49:42 UTC 2020) (from) ... Start @ 0xce600000 [1=0xce982000-0xce9820ec]... Trampoline space cannot be allocated; will try fallback. Cheers, Patrick