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