Fix Kconfig GENERATE_*_TABLE usage
Some boards selected GENERATE_ instead of HAVE_
Change-Id: I450c22d7b044f0c88c21692246d452d516a68a83
Signed-off-by: Stefan Reinauer <reinauer@google.com>
Reviewed-on: http://review.coreboot.org/1841
Tested-by: build bot (Jenkins)
Reviewed-by: Patrick Georgi <patrick@georgi-clan.de>
diff --git a/src/Kconfig b/src/Kconfig
index 216ce0b..fadcbc4 100644
--- a/src/Kconfig
+++ b/src/Kconfig
@@ -379,22 +379,6 @@
#These Options are here to avoid "undefined" warnings.
#The actual selection and help texts are in the following menu.
-config GENERATE_ACPI_TABLES
- bool
- default HAVE_ACPI_TABLES
-
-config GENERATE_MP_TABLE
- bool
- default HAVE_MP_TABLE || DRIVERS_GENERIC_IOAPIC
-
-config GENERATE_PIRQ_TABLE
- bool
- default HAVE_PIRQ_TABLE
-
-config GENERATE_SMBIOS_TABLES
- bool
- default y
-
menu "System tables"
config WRITE_HIGH_TABLES
@@ -406,18 +390,18 @@
default y
config GENERATE_ACPI_TABLES
- depends on HAVE_ACPI_TABLES
- bool "Generate ACPI tables"
- default y
+ 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
- depends on HAVE_MP_TABLE || DRIVERS_GENERIC_IOAPIC
- bool "Generate an MP table"
- default y
+ prompt "Generate an MP table" if HAVE_MP_TABLE || DRIVERS_GENERIC_IOAPIC
+ bool
+ default HAVE_MP_TABLE || DRIVERS_GENERIC_IOAPIC
help
Generate an MP table (conforming to the Intel MultiProcessor
specification 1.4) for this board.
@@ -425,9 +409,9 @@
If unsure, say Y.
config GENERATE_PIRQ_TABLE
- depends on HAVE_PIRQ_TABLE
- bool "Generate a PIRQ table"
- default y
+ prompt "Generate a PIRQ table" if HAVE_PIRQ_TABLE
+ bool
+ default HAVE_PIRQ_TABLE
help
Generate a PIRQ table for this board.