| Masahiro Yamada | dd84058 | 2014-07-30 14:08:14 +0900 | [diff] [blame] | 1 | CONFIG_PPC=y |
| 2 | CONFIG_4xx=y |
| 3 | CONFIG_TARGET_XILINX_PPC440_GENERIC=y |
| Joe Hershberger | bd328eb | 2015-05-12 14:46:24 -0500 | [diff] [blame] | 4 | CONFIG_SYS_EXTRA_OPTIONS="SYS_TEXT_BASE=0x04000000,RESET_VECTOR_ADDRESS=0x04100000,BOOT_FROM_XMD=1" |
| Bin Meng | 80df691 | 2015-09-28 05:14:15 -0700 | [diff] [blame] | 5 | CONFIG_SYS_PROMPT="board:/# " |
| Ricardo Ribalda Delgado | 80cce26 | 2016-01-26 11:24:19 +0100 | [diff] [blame^] | 6 | CONFIG_SYS_MALLOC_SIMPLE=y |
| 7 | CONFIG_XILINX_UARTLITE=y |
| 8 | CONFIG_SYS_NS16550=y |
| 9 | CONFIG_OF_EMBED=y |
| 10 | CONFIG_OF_CONTROL=y |
| 11 | CONFIG_FIT=y |
| 12 | CONFIG_FIT_VERBOSE=y |
| 13 | CONFIG_DEFAULT_DEVICE_TREE="xilinx-ppc440-generic" |