xref: /rk3399_rockchip-uboot/configs/ba10_tv_box_defconfig (revision df3443dfa449ad02bef8ddf6e2c90a6fd9394fc9)
1CONFIG_SPL=y
2CONFIG_SYS_EXTRA_OPTIONS="BA10_TV_BOX,SPL,AXP209_POWER,SUNXI_EMAC,USB_EHCI,SUNXI_USB_VBUS1_GPIO=SUNXI_GPH(12)"
3+S:CONFIG_ARM=y
4+S:CONFIG_TARGET_SUN4I=y
5