2 CONFIG_SPL_SYS_MALLOC_SIMPLE=y
4 CONFIG_TARGET_MICROBLAZE_GENERIC=y
5 CONFIG_XILINX_MICROBLAZE0_USE_BARREL=1
6 CONFIG_XILINX_MICROBLAZE0_USE_DIV=1
7 CONFIG_XILINX_MICROBLAZE0_USE_HW_MUL=1
8 CONFIG_SYS_TEXT_BASE=0x29000000
9 CONFIG_DEFAULT_DEVICE_TREE="microblaze-generic"
14 CONFIG_SYS_PROMPT="U-Boot-mONStR> "
17 # CONFIG_CMD_SETEXPR is not set
22 CONFIG_SPL_OF_CONTROL=y
26 CONFIG_XILINX_AXIEMAC=y
27 CONFIG_XILINX_EMACLITE=y
29 CONFIG_XILINX_UARTLITE=y