if BOARD_INTEL_TRUXTON

config BOARD_SPECIFIC_OPTIONS # dummy
	def_bool y
	select ARCH_X86
	select CPU_INTEL_EP80579
	select NORTHBRIDGE_INTEL_I3100
	select SOUTHBRIDGE_INTEL_I3100
	select SUPERIO_INTEL_I3100
	select SUPERIO_SMSC_SMSCSUPERIO
	select HAVE_HARD_RESET
	select UDELAY_TSC
	select BOARD_ROMSIZE_KB_2048
	select MMCONF_SUPPORT
	#select MMCONF_SUPPORT_DEFAULT
	select HAVE_ACPI_TABLES
	select GENERATE_ACPI_TABLES
	select BOARD_HAS_FADT
	select HAVE_DEBUG_RAM_SETUP

config MAINBOARD_DIR
	string
	default intel/truxton

config MAINBOARD_PART_NUMBER
	string
	default "Truxton"

config MMCONF_BASE_ADDRESS
	hex
	default 0xe0000000

config IRQ_SLOT_COUNT
	int
	default 1

config MAX_CPUS
	int
	default 4

endif # BOARD_INTEL_TRUXTON