-config BOARD_THOMSON_IP1000
- bool "IP1000"
+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 BOARD_ROMSIZE_KB_512
select HAVE_HARD_RESET
select HAVE_MAINBOARD_RESOURCES
- select USE_PRINTK_IN_CAR
select HAVE_SMI_HANDLER
select GFXUMA
- select USE_DCACHE_RAM
select TINY_BOOTBLOCK
config MAINBOARD_DIR
string
default thomson/ip1000
- depends on BOARD_THOMSON_IP1000
config MAINBOARD_PART_NUMBER
string
default "IP1000"
- depends on BOARD_THOMSON_IP1000
config DCACHE_RAM_BASE
hex
default 0xffdf8000
- depends on BOARD_THOMSON_IP1000
config DCACHE_RAM_SIZE
hex
default 0x8000
- depends on BOARD_THOMSON_IP1000
config IRQ_SLOT_COUNT
int
default 7
- depends on BOARD_THOMSON_IP1000
+
+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