1CONFIG_MICROBLAZE=y
2CONFIG_SPL_SYS_MALLOC_SIMPLE=y
3CONFIG_TARGET_MICROBLAZE_GENERIC=y
4CONFIG_SYS_TEXT_BASE=0x29000000
5CONFIG_DEFAULT_DEVICE_TREE="microblaze-generic"
6CONFIG_SPL=y
7CONFIG_SYS_PROMPT="U-Boot-mONStR> "
8CONFIG_CMD_GPIO=y
9# CONFIG_CMD_SETEXPR is not set
10CONFIG_OF_EMBED=y
11