if BOARD_SUPERMICRO_X6DHR_IG2 config BOARD_SPECIFIC_OPTIONS # dummy def_bool y select ARCH_X86 select CPU_INTEL_SOCKET_MPGA604 select NORTHBRIDGE_INTEL_E7520 select SOUTHBRIDGE_INTEL_I82801EX select SOUTHBRIDGE_INTEL_PXHD select SUPERIO_WINBOND_W83627HF select ROMCC select HAVE_HARD_RESET select BOARD_HAS_HARD_RESET select HAVE_OPTION_TABLE select HAVE_PIRQ_TABLE select HAVE_MP_TABLE select USE_WATCHDOG_ON_BOOT select BOARD_ROMSIZE_KB_1024 config MAINBOARD_DIR string default supermicro/x6dhr_ig2 config MAINBOARD_PART_NUMBER string default "X6DHR-iG2" config MAINBOARD_PCI_SUBSYSTEM_VENDOR_ID hex default 0x15d9 config MAINBOARD_PCI_SUBSYSTEM_DEVICE_ID hex default 0x5580 config MAX_CPUS int default 4 config IRQ_SLOT_COUNT int default 15 endif # BOARD_SUPERMICRO_X6DHR_IG2