| CONFIG_SPL_LIBCOMMON_SUPPORT=y |
| CONFIG_SPL_LIBGENERIC_SUPPORT=y |
| CONFIG_SPL_SERIAL_SUPPORT=y |
| CONFIG_TARGET_MICROBLAZE_GENERIC=y |
| CONFIG_XILINX_MICROBLAZE0_USE_MSR_INSTR=1 |
| CONFIG_XILINX_MICROBLAZE0_USE_BARREL=1 |
| CONFIG_XILINX_MICROBLAZE0_USE_DIV=1 |
| CONFIG_XILINX_MICROBLAZE0_USE_HW_MUL=1 |
| CONFIG_SYS_TEXT_BASE=0x29000000 |
| CONFIG_DEFAULT_DEVICE_TREE="microblaze-generic" |
| CONFIG_SYS_CONSOLE_IS_IN_ENV=y |
| CONFIG_SPL_SYS_MALLOC_SIMPLE=y |
| CONFIG_SYS_OS_BASE=0x2c060000 |
| CONFIG_SYS_PROMPT="U-Boot-mONStR> " |
| # CONFIG_CMD_SETEXPR is not set |