This repository has been archived on 2020-12-06. You can view files and clone it, but cannot push or open issues or pull requests.

Michael Brown 993fd2b451 [efi] Provide access to ACPI tables ... Signed-off-by: Michael Brown <mcb30@ipxe.org>		2017-05-23 18:48:02 +01:00
..
efi.h	[efi] Provide access to ACPI tables	2017-05-23 18:48:02 +01:00
linux.h	[linux] Use dummy SAN device	2017-03-28 17:34:41 +03:00
pcbios.h	[acpi] Make acpi_find_rsdt() a per-platform method	2017-05-23 18:34:39 +01:00