1 config BOARD_SUPERMICRO_X6DHE_G2
4 select CPU_INTEL_SOCKET_MPGA604
5 select NORTHBRIDGE_INTEL_E7520
6 select SOUTHBRIDGE_INTEL_I82801EX
7 select SOUTHBRIDGE_INTEL_PXHD
8 select SUPERIO_NSC_PC87427
10 select HAVE_HARD_RESET
11 select BOARD_HAS_HARD_RESET
12 select HAVE_PIRQ_TABLE
14 select BOARD_ROMSIZE_KB_1024
15 select USE_WATCHDOG_ON_BOOT
16 select DRIVERS_GENERIC_DEBUG
20 default supermicro/x6dhe_g2
21 depends on BOARD_SUPERMICRO_X6DHE_G2
23 config LB_CKS_RANGE_END
26 depends on BOARD_SUPERMICRO_X6DHE_G2
31 depends on BOARD_SUPERMICRO_X6DHE_G2
33 config MAINBOARD_PART_NUMBER
36 depends on BOARD_SUPERMICRO_X6DHE_G2
38 config MAINBOARD_PCI_SUBSYSTEM_VENDOR_ID
41 depends on BOARD_SUPERMICRO_X6DHE_G2
43 config MAINBOARD_PCI_SUBSYSTEM_DEVICE_ID
46 depends on BOARD_SUPERMICRO_X6DHE_G2
51 depends on BOARD_SUPERMICRO_X6DHE_G2
56 depends on BOARD_SUPERMICRO_X6DHE_G2
61 depends on BOARD_SUPERMICRO_X6DHE_G2