1if BOARD_SUPERMICRO_X6DHE_G 2 3config 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_ESB6300 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 BOARD_ROMSIZE_KB_1024 18 select DRIVERS_GENERIC_DEBUG 19 20config MAINBOARD_DIR 21 string 22 default supermicro/x6dhe_g 23 24config MAINBOARD_PART_NUMBER 25 string 26 default "X6DHE-G" 27 28config MAX_CPUS 29 int 30 default 4 31 32config IRQ_SLOT_COUNT 33 int 34 default 15 35 36endif # BOARD_SUPERMICRO_X6DHE_G 37