2 CONFIG_SPL_LIBCOMMON_SUPPORT=y
3 CONFIG_SPL_LIBGENERIC_SUPPORT=y
4 CONFIG_TARGET_MICROBLAZE_GENERIC=y
5 CONFIG_XILINX_MICROBLAZE0_USE_MSR_INSTR=1
6 CONFIG_XILINX_MICROBLAZE0_USE_BARREL=1
7 CONFIG_XILINX_MICROBLAZE0_USE_DIV=1
8 CONFIG_XILINX_MICROBLAZE0_USE_HW_MUL=1
9 CONFIG_SYS_TEXT_BASE=0x29000000
10 CONFIG_DEFAULT_DEVICE_TREE="microblaze-generic"
15 CONFIG_SPL_SYS_MALLOC_SIMPLE=y
16 CONFIG_SPL_NOR_SUPPORT=y
18 CONFIG_SYS_PROMPT="U-Boot-mONStR> "
21 # CONFIG_CMD_SETEXPR is not set
26 CONFIG_SPL_OF_CONTROL=y
31 CONFIG_XILINX_AXIEMAC=y
32 CONFIG_XILINX_EMACLITE=y
34 CONFIG_XILINX_UARTLITE=y