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