summaryrefslogtreecommitdiff
path: root/src/Kconfig
diff options
context:
space:
mode:
Diffstat (limited to 'src/Kconfig')
-rw-r--r--src/Kconfig11
1 files changed, 0 insertions, 11 deletions
diff --git a/src/Kconfig b/src/Kconfig
index ec598631bd..ecdc929f46 100644
--- a/src/Kconfig
+++ b/src/Kconfig
@@ -438,8 +438,6 @@ config HAVE_ACPI_TABLES
help
This variable specifies whether a given board has ACPI table support.
It is usually set in mainboard/*/Kconfig.
- Whether or not the ACPI tables are actually generated by coreboot
- is configurable by the user via GENERATE_ACPI_TABLES.
config HAVE_MP_TABLE
bool
@@ -477,15 +475,6 @@ config PER_DEVICE_ACPI_TABLES
menu "System tables"
-config GENERATE_ACPI_TABLES
- prompt "Generate ACPI tables" if HAVE_ACPI_TABLES
- bool
- default HAVE_ACPI_TABLES
- help
- Generate ACPI tables for this board.
-
- If unsure, say Y.
-
config GENERATE_MP_TABLE
prompt "Generate an MP table" if HAVE_MP_TABLE || DRIVERS_GENERIC_IOAPIC
bool