3 CONFIG_TARGET_AT91RM9200EK=y
4 # CONFIG_MMC is not set
5 CONFIG_SYS_EXTRA_OPTIONS="RAMBOOT"
7 # CONFIG_SYS_STDIO_DEREGISTER is not set
8 # CONFIG_DISPLAY_CPUINFO is not set
9 # CONFIG_DISPLAY_BOARDINFO is not set
10 CONFIG_BOARD_EARLY_INIT_F=y
12 CONFIG_SYS_PROMPT="U-Boot> "
15 # CONFIG_CMD_FPGA is not set
16 # CONFIG_CMD_SETEXPR is not set