| CONFIG_MICROBLAZE=y | |
| CONFIG_TARGET_MICROBLAZE_GENERIC=y | |
| CONFIG_DEFAULT_DEVICE_TREE="microblaze-generic" | |
| CONFIG_SPL=y | |
| # CONFIG_CMD_SETEXPR is not set | |
| CONFIG_OF_CONTROL=y | |
| CONFIG_SPL_DISABLE_OF_CONTROL=y | |
| CONFIG_OF_EMBED=y | |
| CONFIG_SYS_PROMPT="U-Boot-mONStR> " |