2014-07-30 13:08:14 +08:00
|
|
|
CONFIG_PPC=y
|
|
|
|
CONFIG_4xx=y
|
|
|
|
CONFIG_TARGET_XILINX_PPC440_GENERIC=y
|
2016-03-21 21:47:40 +08:00
|
|
|
CONFIG_DEFAULT_DEVICE_TREE="xilinx-ppc440-generic"
|
2016-01-26 18:24:19 +08:00
|
|
|
CONFIG_FIT=y
|
|
|
|
CONFIG_FIT_VERBOSE=y
|
2016-03-21 21:47:40 +08:00
|
|
|
CONFIG_SYS_EXTRA_OPTIONS="SYS_TEXT_BASE=0x04000000,RESET_VECTOR_ADDRESS=0x04100000,BOOT_FROM_XMD=1"
|
|
|
|
CONFIG_SYS_PROMPT="board:/# "
|
2016-01-26 20:47:45 +08:00
|
|
|
CONFIG_CMD_TFTPPUT=y
|
|
|
|
CONFIG_CMD_DHCP=y
|
|
|
|
CONFIG_CMD_PING=y
|
2016-03-21 21:47:40 +08:00
|
|
|
CONFIG_OF_EMBED=y
|
2016-01-26 20:47:45 +08:00
|
|
|
CONFIG_NETCONSOLE=y
|
2016-03-21 21:47:40 +08:00
|
|
|
CONFIG_SYS_NS16550=y
|
|
|
|
CONFIG_XILINX_UARTLITE=y
|