xref: /rk3399_rockchip-uboot/configs/zynq_picozed_defconfig (revision 7254d92ebcedf9dc8dfe76a8d310faf46f46274f) 
1CONFIG_ARM=y
2CONFIG_ARCH_ZYNQ=y
3CONFIG_TARGET_ZYNQ_PICOZED=y
4CONFIG_DEFAULT_DEVICE_TREE="zynq-picozed"
5CONFIG_SPL=y
6