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