1CONFIG_MICROBLAZE=y
2CONFIG_SPL_SYS_MALLOC_SIMPLE=y
3CONFIG_SPL_DM=y
4CONFIG_TARGET_MICROBLAZE_GENERIC=y
5CONFIG_SYS_TEXT_BASE=0x29000000
6CONFIG_DEFAULT_DEVICE_TREE="microblaze-generic"
7CONFIG_SPL=y
8CONFIG_FIT=y
9CONFIG_FIT_VERBOSE=y
10CONFIG_HUSH_PARSER=y
11CONFIG_SYS_PROMPT="U-Boot-mONStR> "
12CONFIG_CMD_ASKENV=y
13CONFIG_CMD_GPIO=y
14# CONFIG_CMD_SETEXPR is not set
15CONFIG_CMD_TFTPPUT=y
16CONFIG_CMD_DHCP=y
17CONFIG_CMD_MII=y
18CONFIG_CMD_PING=y
19CONFIG_SPL_OF_CONTROL=y
20CONFIG_OF_EMBED=y
21CONFIG_NETCONSOLE=y
22CONFIG_DM_ETH=y
23CONFIG_XILINX_AXIEMAC=y
24CONFIG_XILINX_EMACLITE=y
25CONFIG_SYS_NS16550=y
26CONFIG_XILINX_UARTLITE=y
27