1if ROCKCHIP_RK3188
2
3config TARGET_ROCK
4	bool "Radxa Rock"
5	help
6	  Rock is a RK3188-based development board with 2 USB and 1 otg
7	  ports, HDMI, TV-out, micro-SD card, audio, WiFi  and 100MBit
8	  Ethernet, It also includes on-board nand and 1GB of SDRAM.
9	  Expansion connectors provide access to display pins, I2C, SPI,
10	  UART and GPIOs.
11
12config SYS_SOC
13	default "rockchip"
14
15config SYS_MALLOC_F_LEN
16	default 0x0800
17
18config SPL_LIBCOMMON_SUPPORT
19	default y
20
21config SPL_LIBGENERIC_SUPPORT
22	default y
23
24config SPL_SERIAL_SUPPORT
25	default y
26
27config TPL_LIBCOMMON_SUPPORT
28	default y
29
30config TPL_LIBGENERIC_SUPPORT
31	default y
32
33source "board/radxa/rock/Kconfig"
34
35endif
36