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