Add CONFIG_GENERATE_* for tables so that the user can select which tables not
[coreboot.git] / src / mainboard / mitac / 6513wu / Options.lb
index ed08ab49d2b97c5dbed5c57e363a4b84d0b013b4..0dac44bb03848e24d8c8e1401e60a74e08a6f0cd 100644 (file)
@@ -27,9 +27,9 @@ uses CONFIG_DEFAULT_CONSOLE_LOGLEVEL
 uses CONFIG_FALLBACK_SIZE
 uses CONFIG_HAVE_FALLBACK_BOOT
 uses CONFIG_HAVE_HARD_RESET
-uses CONFIG_HAVE_MP_TABLE
+uses CONFIG_GENERATE_MP_TABLE
 uses CONFIG_HAVE_OPTION_TABLE
-uses CONFIG_HAVE_PIRQ_TABLE
+uses CONFIG_GENERATE_PIRQ_TABLE
 uses CONFIG_HEAP_SIZE
 uses CONFIG_IRQ_SLOT_COUNT
 uses CONFIG_MAINBOARD
@@ -64,8 +64,8 @@ uses HOSTCC
 default CONFIG_MAINBOARD_VENDOR = "Mitac"
 default CONFIG_MAINBOARD_PART_NUMBER = "6513WU"
 default CONFIG_IRQ_SLOT_COUNT = 8
-default CONFIG_HAVE_PIRQ_TABLE = 1
-default CONFIG_HAVE_MP_TABLE = 0
+default CONFIG_GENERATE_PIRQ_TABLE = 1
+default CONFIG_GENERATE_MP_TABLE = 0
 default CONFIG_HAVE_OPTION_TABLE = 0
 default CONFIG_USE_OPTION_TABLE = 0