| Masahiro Yamada | dd84058 | 2014-07-30 14:08:14 +0900 | [diff] [blame] | 1 | CONFIG_PPC=y |
| 2 | CONFIG_4xx=y |
| 3 | CONFIG_TARGET_XILINX_PPC405_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" |
| Bin Meng | 80df691 | 2015-09-28 05:14:15 -0700 | [diff] [blame] | 5 | CONFIG_SYS_PROMPT="xlx-ppc405:/# " |
| Joe Hershberger | ef0f2f5 | 2015-06-22 16:15:30 -0500 | [diff] [blame] | 6 | # CONFIG_CMD_IMLS is not set |
| 7 | # CONFIG_CMD_SETEXPR is not set |
| 8 | # CONFIG_CMD_NET is not set |
| 9 | # CONFIG_CMD_NFS is not set |
| Ricardo Ribalda Delgado | 80cce26 | 2016-01-26 11:24:19 +0100 | [diff] [blame] | 10 | CONFIG_SYS_MALLOC_SIMPLE=y |
| 11 | CONFIG_XILINX_UARTLITE=y |
| 12 | CONFIG_SYS_NS16550=y |
| 13 | CONFIG_OF_EMBED=y |
| 14 | CONFIG_OF_CONTROL=y |
| 15 | CONFIG_FIT=y |
| 16 | CONFIG_FIT_VERBOSE=y |
| 17 | CONFIG_DEFAULT_DEVICE_TREE="xilinx-ppc440-generic" |