Add config option CONFIG_ACPI for turning off ACPI table generation.
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 @@
/* 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