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_SPL_DISABLE_OF_CONTROL=y 8CONFIG_OF_EMBED=y 9