1if ROCKCHIP_RK3288
2
3config TARGET_FIREFLY_RK3288
4	bool "Firefly-RK3288"
5	help
6	  Firefly is a RK3288-based development board with 2 USB ports,
7	  HDMI, VGA, micro-SD card, audio, WiFi  and Gigabit Ethernet, It
8	  also includes on-board eMMC and 1GB of SDRAM. Expansion connectors
9	  provide access to display pins, I2C, SPI, UART and GPIOs.
10
11config TARGET_CHROMEBOOK_JERRY
12	bool "Google/Rockchip Veyron-Jerry Chromebook"
13	help
14	  Jerry is a RK3288-based clamshell device with 2 USB 3.0 ports,
15	  HDMI, an 11.9 inch EDP display, micro-SD card, touchpad and
16	  WiFi. It includes a Chrome OS EC (Cortex-M3) to provide access to
17	  the keyboard and battery functions.
18
19config ROCKCHIP_SPL_HDR
20	default "RK32"
21
22config ROCKCHIP_MAX_SPL_SIZE
23	default 0x8000
24
25config SYS_SOC
26	default "rockchip"
27
28config SYS_MALLOC_F_LEN
29	default 0x0800
30
31source "board/google/chromebook_jerry/Kconfig"
32
33source "board/firefly/firefly-rk3288/Kconfig"
34
35endif
36