EFI: add ACPI support

Also add support in the kernel to get the ACPI RSDP from the bootloader, and pass onto the ACPI driver using get_boot_item.
2016-11-14 03:21:36 +13:00
parent 82dcc31606
commit 6e6efaecdc
7 changed files with 355 additions and 43 deletions
@@ -38,6 +38,8 @@ typedef struct {
 	// hpet stuff
 	uint32	hpet_phys;
 	FixedWidthPointer<void> hpet;
+	// needed for UEFI, otherwise kernel acpi support can't find ACPI root
+	FixedWidthPointer<void> acpi_root;
 } _PACKED arch_kernel_args;

 #endif	/* KERNEL_ARCH_x86_KERNEL_ARGS_H */