Add config option CONFIG_ACPI for turning off ACPI table generation.

[seabios.git] / src / acpi.c

diff --git a/src/acpi.c b/src/acpi.c
index a47be648a9c8e987f96cdaaf71676a23a3a20013..1e99c5ad949d3878bb4fc3dd9bb3949c9f90e8b2 100644 (file)
--- a/src/acpi.c
+++ b/src/acpi.c
@@ -281,6 +281,9 @@ acpi_build_processor_ssdt(u8 *ssdt)
 /* base_addr must be a multiple of 4KB */
 void acpi_bios_init(void)
 {
+    if (! CONFIG_ACPI)
+        return;
+
     // This code is hardcoded for PIIX4 Power Management device.
     PCIDevice d;
     int ret = pci_find_device(0x8086, 0x7113, 0, &d);