Various PIRQ/MPTABLE/ACPI Kconfig fixes.

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

diff --git a/src/mainboard/gigabyte/ma785gmt/Kconfig b/src/mainboard/gigabyte/ma785gmt/Kconfig
index 767f681862a1785708ae6512db2f6cde1c199f4d..58ee44bdd65f6ccf6a465ea9ab22630b69229583 100644 (file)
--- a/src/mainboard/gigabyte/ma785gmt/Kconfig
+++ b/src/mainboard/gigabyte/ma785gmt/Kconfig
@@ -4,6 +4,8 @@ config BOARD_SPECIFIC_OPTIONS # dummy
        def_bool y
        select ARCH_X86
        select CPU_AMD_SOCKET_AM3
+       select DIMM_DDR3
+       select DIMM_REGISTERED
        select NORTHBRIDGE_AMD_AMDFAM10
        select SOUTHBRIDGE_AMD_RS780
        select SOUTHBRIDGE_AMD_SB700
@@ -11,20 +13,21 @@ config BOARD_SPECIFIC_OPTIONS # dummy
        select BOARD_HAS_FADT
        select HAVE_BUS_CONFIG
        select HAVE_OPTION_TABLE
-       select GENERATE_PIRQ_TABLE
-       select GENERATE_MP_TABLE
+       select HAVE_PIRQ_TABLE
+       select HAVE_MP_TABLE
        select HAVE_MAINBOARD_RESOURCES
-       select USE_DCACHE_RAM
+       select CACHE_AS_RAM
        select HAVE_HARD_RESET
        select SB_HT_CHAIN_UNITID_OFFSET_ONLY
        select LIFT_BSP_APIC_ID
        select SERIAL_CPU_INIT
        select AMDMCT
-       select GENERATE_ACPI_TABLES
+       select HAVE_ACPI_TABLES
        select BOARD_ROMSIZE_KB_1024
        select ENABLE_APIC_EXT_ID
        select TINY_BOOTBLOCK
        select GFXUMA
+       select RAMINIT_SYSINFO
 
 config MAINBOARD_DIR
        string
@@ -38,10 +41,6 @@ config MAINBOARD_PART_NUMBER
        string
        default "Gigabyte GA785GMT"
 
-config HW_MEM_HOLE_SIZEK
-       hex
-       default 0x100000
-
 config MAX_CPUS
        int
        default 8
@@ -50,10 +49,6 @@ config MAX_PHYSICAL_CPUS
        int
        default 2
 
-config HW_MEM_HOLE_SIZE_AUTO_INC
-       bool
-       default n
-
 config MEM_TRAIN_SEQ
        int
        default 2
@@ -86,10 +81,6 @@ config HEAP_SIZE
        hex
        default 0xc0000
 
-config ACPI_SSDTX_NUM
-       int
-       default 0
-
 config MAINBOARD_PCI_SUBSYSTEM_DEVICE_ID
        hex
        default 0x3060