1CONFIG_MICROBLAZE=y
2CONFIG_TARGET_MICROBLAZE_GENERIC=y
3CONFIG_DEFAULT_DEVICE_TREE="microblaze-generic"
4CONFIG_SPL=y
5# CONFIG_CMD_SETEXPR is not set
6CONFIG_OF_CONTROL=y
7CONFIG_SPL_DISABLE_OF_CONTROL=y
8CONFIG_OF_EMBED=y
9CONFIG_SYS_PROMPT="U-Boot-mONStR> "
10