config TARGET_FIREFLY_RK3288
bool "Firefly-RK3288"
+ select BOARD_LATE_INIT
help
Firefly is a RK3288-based development board with 2 USB ports,
HDMI, VGA, micro-SD card, audio, WiFi and Gigabit Ethernet, It
config TARGET_EVB_RK3288
bool "Evb-RK3288"
+ select BOARD_LATE_INIT
help
EVB-RK3288 is a RK3288-based development board with 2 USB ports,
HDMI, VGA, micro-SD card, audio, WiFi and Gigabit Ethernet, It
config TARGET_FENNEC_RK3288
bool "Fennec-RK3288"
+ select BOARD_LATE_INIT
help
Fennec is a RK3288-based development board with 2 USB ports,
HDMI, micro-SD card, audio, WiFi and Gigabit Ethernet. It also
config TARGET_POPMETAL_RK3288
bool "PopMetal-RK3288"
+ select BOARD_LATE_INIT
help
PopMetal is a RK3288-based development board with 3 USB host ports,
1 micro USB OTG port, HDMI, VGA, micro-SD card, audio, WiFi, Gigabit
config TARGET_MINIARM_RK3288
bool "miniarm-RK3288"
+ select BOARD_LATE_INIT
help
Miniarm is a RK3288-based development board with 2 USB ports, HDMI,
micro-SD card, audio, Gigabit Ethernet. It also includes on-board
config TARGET_CHROMEBOOK_JERRY
bool "Google/Rockchip Veyron-Jerry Chromebook"
+ select BOARD_LATE_INIT
help
Jerry is a RK3288-based clamshell device with 2 USB 3.0 ports,
HDMI, an 11.9 inch EDP display, micro-SD card, touchpad and
config TARGET_CHROMEBIT_MICKEY
bool "Google/Rockchip Veyron-Mickey Chromebit"
+ select BOARD_LATE_INIT
help
Mickey is a small RK3288-based device with one USB 3.0 port, HDMI
and WiFi. It has a separate power port and is designed to connect
config TARGET_CHROMEBOOK_MINNIE
bool "Google/Rockchip Veyron-Minnie Chromebook"
+ select BOARD_LATE_INIT
help
Minnie is a RK3288-based convertible clamshell device with 2 USB 3.0
ports, micro HDMI, a 10.1-inch 1280x800 EDP display, micro-SD card,
config TARGET_ROCK2
bool "Radxa Rock 2"
+ select BOARD_LATE_INIT
help
Rock 2 is a SOM and base-board combination based on RK3288. It
includes Ethernet, HDMI, 3 USB, micro-SD, audio, SATA, WiFi and