2014-07-30 05:08:14 +00:00
|
|
|
CONFIG_PPC=y
|
|
|
|
CONFIG_4xx=y
|
|
|
|
CONFIG_TARGET_XILINX_PPC440_GENERIC=y
|
2016-03-21 13:47:40 +00:00
|
|
|
CONFIG_DEFAULT_DEVICE_TREE="xilinx-ppc440-generic"
|
2016-01-26 10:24:19 +00:00
|
|
|
CONFIG_FIT=y
|
|
|
|
CONFIG_FIT_VERBOSE=y
|
2016-03-21 13:47:40 +00:00
|
|
|
CONFIG_SYS_EXTRA_OPTIONS="SYS_TEXT_BASE=0x04000000,RESET_VECTOR_ADDRESS=0x04100000,BOOT_FROM_XMD=1"
|
2016-06-07 06:31:14 +00:00
|
|
|
CONFIG_BOOTDELAY=5
|
2016-10-18 02:13:00 +00:00
|
|
|
CONFIG_SYS_CONSOLE_INFO_QUIET=y
|
2016-09-09 06:12:49 +00:00
|
|
|
CONFIG_VERSION_VARIABLE=y
|
2016-10-12 01:33:46 +00:00
|
|
|
# CONFIG_DISPLAY_BOARDINFO is not set
|
2016-04-22 01:37:19 +00:00
|
|
|
CONFIG_HUSH_PARSER=y
|
2016-03-21 13:47:40 +00:00
|
|
|
CONFIG_SYS_PROMPT="board:/# "
|
2016-04-24 21:29:26 +00:00
|
|
|
CONFIG_CMD_ASKENV=y
|
2016-04-22 20:41:25 +00:00
|
|
|
CONFIG_LOOPW=y
|
2016-01-26 12:47:45 +00:00
|
|
|
CONFIG_CMD_TFTPPUT=y
|
|
|
|
CONFIG_CMD_DHCP=y
|
|
|
|
CONFIG_CMD_PING=y
|
2016-04-24 21:29:26 +00:00
|
|
|
CONFIG_CMD_CACHE=y
|
2016-03-21 13:47:40 +00:00
|
|
|
CONFIG_OF_EMBED=y
|
2016-01-26 12:47:45 +00:00
|
|
|
CONFIG_NETCONSOLE=y
|
2016-10-26 21:15:37 +00:00
|
|
|
# CONFIG_PCI is not set
|
2016-03-21 13:47:40 +00:00
|
|
|
CONFIG_SYS_NS16550=y
|
|
|
|
CONFIG_XILINX_UARTLITE=y
|