1 config BOARD_SUPERMICRO_X6DHR_IG
4 select CPU_INTEL_SOCKET_MPGA604
5 select NORTHBRIDGE_INTEL_E7520
6 select SOUTHBRIDGE_INTEL_I82801EX
7 select SOUTHBRIDGE_INTEL_PXHD
8 select SUPERIO_WINBOND_W83627HF
10 select HAVE_HARD_RESET
11 select BOARD_HAS_HARD_RESET
12 select HAVE_PIRQ_TABLE
14 select USE_WATCHDOG_ON_BOOT
15 select BOARD_ROMSIZE_KB_1024
19 default supermicro/x6dhr_ig
20 depends on BOARD_SUPERMICRO_X6DHR_IG
22 config LB_CKS_RANGE_END
25 depends on BOARD_SUPERMICRO_X6DHR_IG
30 depends on BOARD_SUPERMICRO_X6DHR_IG
32 config MAINBOARD_PART_NUMBER
35 depends on BOARD_SUPERMICRO_X6DHR_IG
37 config MAINBOARD_PCI_SUBSYSTEM_VENDOR_ID
40 depends on BOARD_SUPERMICRO_X6DHR_IG
42 config MAINBOARD_PCI_SUBSYSTEM_DEVICE_ID
45 depends on BOARD_SUPERMICRO_X6DHR_IG
50 depends on BOARD_SUPERMICRO_X6DHR_IG
55 depends on BOARD_SUPERMICRO_X6DHR_IG
60 depends on BOARD_SUPERMICRO_X6DHR_IG