From d8a1811d26589f03c01d169dadc1967c59625f8d Mon Sep 17 00:00:00 2001 From: Kevin O'Connor Date: Thu, 12 Jun 2008 22:12:48 -0400 Subject: [PATCH] Add config option CONFIG_ACPI for turning off ACPI table generation. --- src/acpi.c | 3 +++ src/config.h | 4 +++- 2 files changed, 6 insertions(+), 1 deletion(-) diff --git a/src/acpi.c b/src/acpi.c index a47be64..1e99c5a 100644 --- 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); diff --git a/src/config.h b/src/config.h index de26919..1f2a6b5 100644 --- a/src/config.h +++ b/src/config.h @@ -28,8 +28,10 @@ #define CONFIG_KBD_CALL_INT15_4F 1 #define CONFIG_CDROM_BOOT 1 #define CONFIG_CDROM_EMU 1 -// Support built-in PIR table in 0xf000 segment +// Support generation of a PIR table in 0xf000 segment (for emulators) #define CONFIG_PIRTABLE 1 +// Support generation of ACPI PIR tables (for emulators) +#define CONFIG_ACPI 1 // Support int 1a/b1 PCI BIOS calls #define CONFIG_PCIBIOS 1 // Support int 15/53 APM BIOS calls -- 2.25.1