Jianyong Wu b8b5dccfd8 aarch64: Enable UEFI image loading ... Implemented an architecture specific function for loading UEFI binary. Changed the logic of loading kernel image: 1. First try to load the image as kernel in PE format; 2. If failed, try again to load it as formatless UEFI binary. Signed-off-by: Jianyong Wu <jianyong.wu@arm.com>		2021-06-09 18:36:59 +08:00
..
src	aarch64: Enable UEFI image loading	2021-06-09 18:36:59 +08:00
Cargo.toml	vmm, acpi: Add DSM method to ACPI	2021-06-09 18:36:59 +08:00