a146e77a6cac09077f78a6df132f8016394abf60
[coreboot.git] / src / mainboard / supermicro / x6dhr_ig / Kconfig
1 if BOARD_SUPERMICRO_X6DHR_IG
2
3 config BOARD_SPECIFIC_OPTIONS # dummy
4         def_bool y
5         select ARCH_X86
6         select CPU_INTEL_SOCKET_MPGA604
7         select NORTHBRIDGE_INTEL_E7520
8         select SOUTHBRIDGE_INTEL_I82801EX
9         select SOUTHBRIDGE_INTEL_PXHD
10         select SUPERIO_WINBOND_W83627HF
11         select ROMCC
12         select HAVE_HARD_RESET
13         select BOARD_HAS_HARD_RESET
14         select HAVE_OPTION_TABLE
15         select HAVE_PIRQ_TABLE
16         select HAVE_MP_TABLE
17         select USE_WATCHDOG_ON_BOOT
18         select BOARD_ROMSIZE_KB_1024
19
20 config MAINBOARD_DIR
21         string
22         default supermicro/x6dhr_ig
23
24 config MAINBOARD_PART_NUMBER
25         string
26         default "X6DHR-iG"
27
28 config MAX_CPUS
29         int
30         default 4
31
32 config IRQ_SLOT_COUNT
33         int
34         default 15
35
36 endif # BOARD_SUPERMICRO_X6DHR_IG