if ROCKCHIP_RK3066config TARGET_MK808_RK3066 bool "MK808_RK3066" help MK808 is a tv stick with usb host and otg, microsd card slot, hdmi and wifi.config SYS_SOC default "rockchip"config SYS_MALLOC_F_LEN default 0x0800config SPL_LIBCOMMON_SUPPORT default yconfig SPL_LIBGENERIC_SUPPORT default yconfig SPL_SERIAL_SUPPORT default yconfig TPL_LIBCOMMON_SUPPORT default yconfig TPL_LIBGENERIC_SUPPORT default ysource "board/rikomagic/mk808_rk3066/Kconfig"endif