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