xref: /rk3399_rockchip-uboot/configs/microblaze-generic_defconfig (revision 7e611272ddb3b41985ad881f549f4258e1469f65)
1CONFIG_MICROBLAZE=y
2CONFIG_TARGET_MICROBLAZE_GENERIC=y
3CONFIG_DEFAULT_DEVICE_TREE="microblaze-generic"
4CONFIG_SPL=y
5CONFIG_OF_CONTROL=y
6CONFIG_OF_EMBED=y
7