| CONFIG_MICROBLAZE=y |
| CONFIG_SPL_SYS_MALLOC_SIMPLE=y |
| CONFIG_SPL_DM=y |
| CONFIG_TARGET_MICROBLAZE_GENERIC=y |
| CONFIG_SYS_TEXT_BASE=0x29000000 |
| CONFIG_DEFAULT_DEVICE_TREE="microblaze-generic" |
| CONFIG_SPL=y |
| CONFIG_FIT=y |
| CONFIG_FIT_VERBOSE=y |
| CONFIG_SYS_PROMPT="U-Boot-mONStR> " |
| CONFIG_CMD_GPIO=y |
| # CONFIG_CMD_SETEXPR is not set |
| CONFIG_CMD_TFTPPUT=y |
| CONFIG_CMD_DHCP=y |
| CONFIG_CMD_PING=y |
| CONFIG_SPL_OF_CONTROL=y |
| CONFIG_OF_EMBED=y |
| CONFIG_DM_ETH=y |
| CONFIG_XILINX_AXIEMAC=y |
| CONFIG_XILINX_EMACLITE=y |
| CONFIG_SYS_NS16550=y |
| CONFIG_XILINX_UARTLITE=y |