if TARGET_DBAU1X00 config SYS_BOARD default "dbau1x00" config SYS_SOC default "au1x00" config SYS_CONFIG_NAME default "dbau1x00" config SYS_TEXT_BASE default 0xbfc00000 config SYS_DCACHE_SIZE default 16384 config SYS_DCACHE_LINE_SIZE default 32 config SYS_ICACHE_SIZE default 16384 config SYS_ICACHE_LINE_SIZE default 32 menu "dbau1x00 board options" choice prompt "Select au1x00 SoC type" optional config DBAU1100 bool "Select AU1100" config DBAU1500 bool "Select AU1500" config DBAU1550 bool "Select AU1550" endchoice endmenu endif