Add CONFIG_GENERATE_* for tables so that the user can select which tables not

[coreboot.git] / src / Kconfig

diff --git a/src/Kconfig b/src/Kconfig
index 4e365c642cf6aaa6a3382c942447d1d6c69b8141..241386dc988972bc3433f9bb6961d9291ca9cc7f 100644 (file)
--- a/src/Kconfig
+++ b/src/Kconfig
@@ -237,31 +237,47 @@ config GFXUMA
 #
 # endmenu
 
+config HAVE_ACPI_TABLES
+       bool
+
+config HAVE_MP_TABLE
+       bool
+
+config HAVE_PIRQ_TABLE
+       bool
+
+config HAVE_HIGH_TABLES
+       bool
+
 menu "System tables"
 
 config HAVE_LOW_TABLES
        bool
        default y
 
-config HAVE_HIGH_TABLES
+config WRITE_HIGH_TABLES
        bool "Write 'high' tables to avoid being overwritten in F segment"
+       depends on HAVE_HIGH_TABLES
        default y
 
 config MULTIBOOT
        bool "Generate Multiboot tables (for GRUB2)"
        default n
 
-config HAVE_ACPI_TABLES
+config GENERATE_ACPI_TABLES
+       depends on HAVE_ACPI_TABLES
        bool "Generate ACPI tables"
-       default n
+       default y
 
-config HAVE_MP_TABLE
+config GENERATE_MP_TABLE
+       depends on HAVE_MP_TABLE
        bool "Generate an MP table"
-       default n
+       default y
 
-config HAVE_PIRQ_TABLE
+config GENERATE_PIRQ_TABLE
+       depends on HAVE_PIRQ_TABLE
        bool "Generate a PIRQ table"
-       default n
+       default y
 
 endmenu