if ROCKCHIP_RK3066

config TARGET_MK808
	bool "MK808"
	help
	  MK808 is a RK3066-based board with 1 USB host and 1 USB OTG port,
	  HDMI and a micro-SD card slot. It also includes on-board NAND
	  and 1GB of SDRAM.

config ROCKCHIP_BOOT_MODE_REG
	default 0x20004040

config SYS_SOC
	default "rk3066"

config SYS_MALLOC_F_LEN
	default 0x0800

config SPL_LIBCOMMON_SUPPORT
	default y

config SPL_LIBGENERIC_SUPPORT
	default y

config SPL_SERIAL
	default y

config TPL_LIBCOMMON_SUPPORT
	default y

config TPL_LIBGENERIC_SUPPORT
	default y

config TPL_SERIAL
	default y

source "board/rikomagic/mk808/Kconfig"

endif