mintsuki 0ef0c3adc5 linux, pmm: Get a boot with 32-bit UEFI. Addresses #185		2022-08-04 12:56:46 +02:00
..
pmm.c
pmm.h	pmm: Simplify handling EFI memory acquisition and release	2022-07-26 08:09:50 +02:00
pmm.s2.c	linux, pmm: Get a boot with 32-bit UEFI. Addresses #185	2022-08-04 12:56:46 +02:00
vmm.c
vmm.h