Patrick Welche <prlw1%cam.ac.uk@localhost> writes:
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.
I didn't think that a DOM0 + UEFI worked anywhere very well at this
point or at least was not a default...
See https://wiki.xenproject.org/wiki/Xen_EFI for example...
or ... https://ubuntuforums.org/showthread.php?t=2413434