diff options
Diffstat (limited to 'src/Kconfig')
| -rw-r--r-- | src/Kconfig | 11 |
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 |