if BOARD_THOMSON_IP1000

config BOARD_SPECIFIC_OPTIONS # dummy
	def_bool y
	select ARCH_X86
	select CPU_INTEL_SOCKET_MFCBGA479
	select NORTHBRIDGE_INTEL_I82830
	select SOUTHBRIDGE_INTEL_I82801DX
	select SUPERIO_SMSC_SMSCSUPERIO
	select HAVE_PIRQ_TABLE
	select UDELAY_TSC
	select BOARD_ROMSIZE_KB_512
	select HAVE_HARD_RESET
	select HAVE_MAINBOARD_RESOURCES
	select HAVE_SMI_HANDLER
	select GFXUMA
	select USE_DCACHE_RAM
	select TINY_BOOTBLOCK

config MAINBOARD_DIR
	string
	default thomson/ip1000

config MAINBOARD_PART_NUMBER
	string
	default "IP1000"

config DCACHE_RAM_BASE
	hex
	default 0xffdf8000

config DCACHE_RAM_SIZE
	hex
	default 0x8000

config IRQ_SLOT_COUNT
	int
	default 7

choice
	prompt "IP1000 Onboard Memory"
	default ONBOARD_MEMORY_64MB

config ONBOARD_MEMORY_64MB
	bool "IP1000-64MB"
config ONBOARD_MEMORY_128MB
	bool "IP1000T-128MB"

endchoice

endif # BOARD_THOMSON_IP1000