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 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