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