dd84058d |
1 | CONFIG_ARM=y |
4614b891 |
2 | CONFIG_ARCH_AT91=y |
dd84058d |
3 | CONFIG_TARGET_AT91RM9200EK=y |
bd328eb3 |
4 | CONFIG_SYS_EXTRA_OPTIONS="RAMBOOT" |
80df6913 |
5 | CONFIG_SYS_PROMPT="U-Boot> " |
ef0f2f57 JH |
6 | # CONFIG_CMD_FPGA is not set |
7 | # CONFIG_CMD_SETEXPR is not set |
69e173eb |
8 | CONFIG_OF_LIBFDT=y |