[linux] Provide ACPI settings via /sys/firmware/acpi/tables

Signed-off-by: Michael Brown <mcb30@ipxe.org>
This commit is contained in:
Michael Brown
2021-03-01 01:38:54 +00:00
parent 9776f6ece1
commit c09b627973
4 changed files with 193 additions and 0 deletions

View File

@@ -360,6 +360,7 @@ extern userptr_t acpi_find_via_rsdt ( uint32_t signature, unsigned int index );
/* Include all architecture-independent ACPI API headers */
#include <ipxe/null_acpi.h>
#include <ipxe/efi/efi_acpi.h>
#include <ipxe/linux/linux_acpi.h>
/* Include all architecture-dependent ACPI API headers */
#include <bits/acpi.h>

View File

@@ -0,0 +1,18 @@
#ifndef _IPXE_LINUX_ACPI_H
#define _IPXE_LINUX_ACPI_H
/** @file
*
* iPXE ACPI API for Linux
*
*/
FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
#ifdef ACPI_LINUX
#define ACPI_PREFIX_linux
#else
#define ACPI_PREFIX_linux __linux_
#endif
#endif /* _IPXE_LINUX_ACPI_H */