2 # CONFIG_SYS_THUMB_BUILD is not set
3 CONFIG_ARCH_OMAP2PLUS=y
4 CONFIG_SYS_TEXT_BASE=0x80008000
5 CONFIG_TARGET_NOKIA_RX51=y
7 CONFIG_ENV_IS_NOWHERE=y
9 # CONFIG_CONSOLE_MUX is not set
10 CONFIG_SYS_CONSOLE_IS_IN_ENV=y
12 CONFIG_SYS_PROMPT="Nokia RX-51 # "
13 CONFIG_AUTOBOOT_KEYED=y
15 # CONFIG_CMD_IMI is not set
16 # CONFIG_CMD_IMLS is not set
17 # CONFIG_CMD_SAVEENV is not set
18 # CONFIG_CMD_FLASH is not set
19 # CONFIG_CMD_FPGA is not set
23 # CONFIG_CMD_SETEXPR is not set
24 # CONFIG_CMD_NET is not set
25 # CONFIG_CMD_NFS is not set
32 CONFIG_CFB_CONSOLE_ANSI=y
33 # CONFIG_VGA_AS_SINGLE_DEVICE is not set