| Masahiro Yamada | dd84058 | 2014-07-30 14:08:14 +0900 | [diff] [blame] | 1 | CONFIG_PPC=y |
| 2 | CONFIG_4xx=y | ||||
| 3 | CONFIG_TARGET_V5FX30TEVAL=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,INIT_TLB=board/xilinx/ppc440-generic/init.o" |