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 SYS_SOC
20	default "rockchip"
21
22config SYS_MALLOC_F_LEN
23	default 0x0800
24
25source "board/google/chromebook_jerry/Kconfig"
26
27source "board/firefly/firefly-rk3288/Kconfig"
28
29endif
30