Various PIRQ/MPTABLE/ACPI Kconfig fixes.
[coreboot.git] / src / mainboard / gigabyte / ga_2761gxdk / Kconfig
1 if BOARD_GIGABYTE_GA_2761GXDK
2
3 config BOARD_SPECIFIC_OPTIONS # dummy
4         def_bool y
5         select ARCH_X86
6         select CPU_AMD_SOCKET_AM2
7         select DIMM_DDR2
8         select NORTHBRIDGE_AMD_AMDK8
9         select NORTHBRIDGE_AMD_AMDK8_ROOT_COMPLEX
10         select SOUTHBRIDGE_SIS_SIS966
11         select SUPERIO_ITE_IT8716F
12         select HAVE_BUS_CONFIG
13         select HAVE_OPTION_TABLE
14         select HAVE_PIRQ_TABLE
15         select HAVE_MP_TABLE
16         select CACHE_AS_RAM
17         select HAVE_HARD_RESET
18         select LIFT_BSP_APIC_ID
19         select K8_REV_F_SUPPORT
20         select BOARD_ROMSIZE_KB_512
21         select RAMINIT_SYSINFO
22
23 config MAINBOARD_DIR
24         string
25         default gigabyte/ga_2761gxdk
26
27 config DCACHE_RAM_BASE
28         hex
29         default 0xc8000
30
31 config DCACHE_RAM_SIZE
32         hex
33         default 0x08000
34
35 config DCACHE_RAM_GLOBAL_VAR_SIZE
36         hex
37         default 0x01000
38
39 config APIC_ID_OFFSET
40         hex
41         default 0x10
42
43 config MEM_TRAIN_SEQ
44         int
45         default 2
46
47 config SB_HT_CHAIN_ON_BUS0
48         int
49         default 2
50
51 config MAINBOARD_PART_NUMBER
52         string
53         default "GA-2761GXDK"
54
55 config PCI_64BIT_PREF_MEM
56         bool
57         default n
58
59 config MAX_CPUS
60         int
61         default 2
62
63 config MAX_PHYSICAL_CPUS
64         int
65         default 1
66
67 config HT_CHAIN_UNITID_BASE
68         hex
69         default 0x0
70
71 config HT_CHAIN_END_UNITID_BASE
72         hex
73         default 0x20
74
75 config SERIAL_CPU_INIT
76         bool
77         default n
78
79 config MAINBOARD_PCI_SUBSYSTEM_VENDOR_ID
80         hex
81         default 0x1039
82
83 config MAINBOARD_PCI_SUBSYSTEM_DEVICE_ID
84         hex
85         default 0x1234
86
87 config IRQ_SLOT_COUNT
88         int
89         default 11
90
91 endif # BOARD_GIGABYTE_GA_2761GXDK