if BOARD_INTEL_JARRELL config BOARD_SPECIFIC_OPTIONS # dummy def_bool y select ARCH_X86 select CPU_INTEL_SOCKET_MPGA604 select NORTHBRIDGE_INTEL_E7520 select SOUTHBRIDGE_INTEL_PXHD select SOUTHBRIDGE_INTEL_I82801EX select SUPERIO_NSC_PC87427 select ROMCC select BOARD_HAS_HARD_RESET select HAVE_OPTION_TABLE select HAVE_PIRQ_TABLE select HAVE_MP_TABLE select UDELAY_TSC select USE_WATCHDOG_ON_BOOT select DRIVERS_ATI_RAGEXL select BOARD_ROMSIZE_KB_2048 config MAINBOARD_DIR string default intel/jarrell config MAINBOARD_PART_NUMBER string default "Jarrell" config MAX_CPUS int default 4 config IRQ_SLOT_COUNT int default 18 config DIMM_MAP_LOGICAL hex default 0x0124 endif # BOARD_INTEL_JARRELL