Various PIRQ/MPTABLE/ACPI Kconfig fixes.

[coreboot.git] / src / mainboard / gigabyte / ga_2761gxdk / Kconfig

diff --git a/src/mainboard/gigabyte/ga_2761gxdk/Kconfig b/src/mainboard/gigabyte/ga_2761gxdk/Kconfig
index e4d91a1e9c12fb3ddee35a12a9e41ef6e3497f28..a8d737a9e7ad6d1de3d04df9834024177102fa8c 100644 (file)
--- a/src/mainboard/gigabyte/ga_2761gxdk/Kconfig
+++ b/src/mainboard/gigabyte/ga_2761gxdk/Kconfig
@@ -12,11 +12,13 @@ config BOARD_SPECIFIC_OPTIONS # dummy
        select HAVE_BUS_CONFIG
        select HAVE_OPTION_TABLE
        select HAVE_PIRQ_TABLE
+       select HAVE_MP_TABLE
        select CACHE_AS_RAM
        select HAVE_HARD_RESET
        select LIFT_BSP_APIC_ID
        select K8_REV_F_SUPPORT
        select BOARD_ROMSIZE_KB_512
+       select RAMINIT_SYSINFO
 
 config MAINBOARD_DIR
        string