belliash 9dc0e60f28 We support EFI-enabled systems only and such machines should support PAE, so there is no need for XTLDR to support non-PAE x86 hardware		2022-12-28 15:57:03 +01:00
..
memory.c	We support EFI-enabled systems only and such machines should support PAE, so there is no need for XTLDR to support non-PAE x86 hardware	2022-12-28 15:57:03 +01:00