3 CONFIG_ROCKCHIP_RK3036=y
4 CONFIG_TARGET_EVB_RK3036=y
5 CONFIG_SPL_STACK_R_ADDR=0x80000
6 CONFIG_DEFAULT_DEVICE_TREE="rk3036-sdk"
10 # CONFIG_CMD_IMLS is not set
15 # CONFIG_CMD_SETEXPR is not set
24 CONFIG_CMD_FS_GENERIC=y
28 CONFIG_ROCKCHIP_GPIO=y
29 CONFIG_SYS_I2C_ROCKCHIP=y
33 CONFIG_ROCKCHIP_DWMMC=y
35 CONFIG_ROCKCHIP_RK3036_PINCTRL=y
37 # CONFIG_SPL_SERIAL_PRESENT is not set
39 CONFIG_DEBUG_UART_BASE=0x20068000
40 CONFIG_DEBUG_UART_CLOCK=24000000
41 CONFIG_DEBUG_UART_SHIFT=2
42 CONFIG_USE_PRIVATE_LIBGCC=y
43 CONFIG_CMD_DHRYSTONE=y