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_CONSOLE_MUX is not set
8 CONFIG_SYS_CONSOLE_IS_IN_ENV=y
10 CONFIG_SYS_PROMPT="Nokia RX-51 # "
11 CONFIG_AUTOBOOT_KEYED=y
13 # CONFIG_CMD_IMI is not set
14 # CONFIG_CMD_SAVEENV is not set
15 # CONFIG_CMD_FLASH is not set
19 # CONFIG_CMD_SETEXPR is not set
20 # CONFIG_CMD_NET is not set
21 # CONFIG_CMD_NFS is not set
34 CONFIG_CFB_CONSOLE_ANSI=y
35 # CONFIG_VGA_AS_SINGLE_DEVICE is not set