1 if BOARD_SUPERMICRO_X6DHE_G2
3 config BOARD_SPECIFIC_OPTIONS # dummy
6 select CPU_INTEL_SOCKET_MPGA604
7 select NORTHBRIDGE_INTEL_E7520
8 select SOUTHBRIDGE_INTEL_I82801EX
9 select SOUTHBRIDGE_INTEL_PXHD
10 select SUPERIO_NSC_PC87427
12 select HAVE_HARD_RESET
13 select BOARD_HAS_HARD_RESET
14 select HAVE_OPTION_TABLE
15 select HAVE_PIRQ_TABLE
17 select BOARD_ROMSIZE_KB_1024
18 select USE_WATCHDOG_ON_BOOT
19 select DRIVERS_GENERIC_DEBUG
23 default supermicro/x6dhe_g2
25 config MAINBOARD_PART_NUMBER
37 endif # BOARD_SUPERMICRO_X6DHE_G2