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_OF_EMBED=y 8CONFIG_SYS_PROMPT="U-Boot-mONStR> " 9