| CONFIG_ARM=y |
| # CONFIG_SYS_THUMB_BUILD is not set |
| CONFIG_ARCH_OMAP2PLUS=y |
| CONFIG_SYS_TEXT_BASE=0x80008000 |
| CONFIG_TARGET_NOKIA_RX51=y |
| CONFIG_VIDEO=y |
| CONFIG_BOOTDELAY=30 |
| # CONFIG_CONSOLE_MUX is not set |
| CONFIG_SYS_CONSOLE_IS_IN_ENV=y |
| CONFIG_HUSH_PARSER=y |
| CONFIG_SYS_PROMPT="Nokia RX-51 # " |
| CONFIG_AUTOBOOT_KEYED=y |
| CONFIG_CMD_BOOTMENU=y |
| # CONFIG_CMD_IMI is not set |
| # CONFIG_CMD_SAVEENV is not set |
| # CONFIG_CMD_FLASH is not set |
| # CONFIG_CMD_FPGA is not set |
| CONFIG_CMD_GPIO=y |
| CONFIG_CMD_I2C=y |
| CONFIG_CMD_MMC=y |
| # CONFIG_CMD_SETEXPR is not set |
| # CONFIG_CMD_NET is not set |
| # CONFIG_CMD_NFS is not set |
| CONFIG_CMD_EXT2=y |
| CONFIG_CMD_EXT4=y |
| CONFIG_CMD_FAT=y |
| CONFIG_MMC_OMAP_HS=y |
| CONFIG_SYS_NS16550=y |
| CONFIG_OMAP3_SPI=y |
| CONFIG_CFB_CONSOLE_ANSI=y |
| # CONFIG_VGA_AS_SINGLE_DEVICE is not set |