xref: /rk3399_rockchip-uboot/configs/microblaze-generic_defconfig (revision 3fe3b4fb1c5adb00502276312696e38e9a7e9b5b) 
1CONFIG_SPL=y
2+S:CONFIG_MICROBLAZE=y
3+S:CONFIG_TARGET_MICROBLAZE_GENERIC=y
4