2 CONFIG_SPL_LIBCOMMON_SUPPORT=y
3 CONFIG_SPL_LIBGENERIC_SUPPORT=y
4 CONFIG_SPL_SERIAL_SUPPORT=y
5 CONFIG_TARGET_MICROBLAZE_GENERIC=y
6 CONFIG_XILINX_MICROBLAZE0_USE_MSR_INSTR=1
7 CONFIG_XILINX_MICROBLAZE0_USE_BARREL=1
8 CONFIG_XILINX_MICROBLAZE0_USE_DIV=1
9 CONFIG_XILINX_MICROBLAZE0_USE_HW_MUL=1
10 CONFIG_SYS_TEXT_BASE=0x29000000
11 CONFIG_DEFAULT_DEVICE_TREE="microblaze-generic"
16 CONFIG_SPL_SYS_MALLOC_SIMPLE=y
17 CONFIG_SPL_NOR_SUPPORT=y
19 CONFIG_SYS_PROMPT="U-Boot-mONStR> "
22 # CONFIG_CMD_SETEXPR is not set
27 CONFIG_SPL_OF_CONTROL=y
32 CONFIG_XILINX_AXIEMAC=y
33 CONFIG_XILINX_EMACLITE=y
35 CONFIG_XILINX_UARTLITE=y