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_EVB_RK3288
12	bool "Evb-RK3288"
13	help
14	  EVB-RK3288 is a RK3288-based development board with 2 USB ports,
15	  HDMI, VGA, micro-SD card, audio, WiFi  and Gigabit Ethernet, It
16	  also includes on-board eMMC and 2GB of SDRAM. Expansion connectors
17	  provide access to display pins, I2C, SPI, UART and GPIOs.
18
19config TARGET_FENNEC_RK3288
20	bool "Fennec-RK3288"
21	help
22	  Fennec is a RK3288-based development board with 2 USB ports,
23	  HDMI, micro-SD card, audio, WiFi and Gigabit Ethernet. It also
24	  includes on-board eMMC and 2GB of SDRAM. Expansion connectors
25	  provide access to display pins, I2C, SPI, UART and GPIOs.
26
27config TARGET_POPMETAL_RK3288
28	bool "PopMetal-RK3288"
29	help
30	  PopMetal is a RK3288-based development board with 3 USB host ports,
31	  1 micro USB OTG port, HDMI, VGA, micro-SD card, audio, WiFi, Gigabit
32	  Ethernet and lots of sensors. It also includes on-board 8 GeMMC and
33	  2GB DDR3. Expansion connectors provide access to I2C, SPI, UART,
34	  GPIOs and display interface.
35
36config TARGET_CHROMEBOOK_JERRY
37	bool "Google/Rockchip Veyron-Jerry Chromebook"
38	help
39	  Jerry is a RK3288-based clamshell device with 2 USB 3.0 ports,
40	  HDMI, an 11.9 inch EDP display, micro-SD card, touchpad and
41	  WiFi. It includes a Chrome OS EC (Cortex-M3) to provide access to
42	  the keyboard and battery functions.
43
44config TARGET_ROCK2
45	bool "Radxa Rock 2"
46	help
47	  Rock 2 is a SOM and base-board combination based on RK3288. It
48	  includes Ethernet, HDMI, 3 USB, micro-SD, audio, SATA, WiFi and
49	  space for a real-time-clock battery. There is also an expansion
50	  interface which provides access to many pins.
51
52config ROCKCHIP_FAST_SPL
53	bool "Change the CPU to full speed in SPL"
54	depends on TARGET_CHROMEBOOK_JERRY
55	help
56	  Some boards want to boot as fast as possible. We can increase the
57	  CPU frequency in SPL if the power supply is configured to the correct
58	  voltage. This option is only available on boards which support it
59	  and have the required PMIC code.
60
61config SYS_SOC
62	default "rockchip"
63
64config SYS_MALLOC_F_LEN
65	default 0x0800
66
67source "board/google/chromebook_jerry/Kconfig"
68
69source "board/firefly/firefly-rk3288/Kconfig"
70
71source "board/radxa/rock2/Kconfig"
72
73source "board/rockchip/evb_rk3288/Kconfig"
74
75source "board/rockchip/fennec_rk3288/Kconfig"
76
77source "board/chipspark/popmetal_rk3288/Kconfig"
78
79endif
80