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