Jessica Hamilton 6e6efaecdc 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
..
2015-06-24 23:06:23 -05:00
2015-11-09 18:01:18 +01:00
2015-11-12 22:24:16 +01:00
2015-11-09 20:00:06 +01:00
2016-11-14 03:21:36 +13:00