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