3 CONFIG_ROCKCHIP_RK3399=y
4 CONFIG_DEFAULT_DEVICE_TREE="rk3399-evb"
8 # CONFIG_CMD_IMLS is not set
11 # CONFIG_CMD_SETEXPR is not set
16 CONFIG_CMD_FS_GENERIC=y
20 CONFIG_ROCKCHIP_DWMMC=y
21 CONFIG_ROCKCHIP_SDHCI=y
22 CONFIG_ROCKCHIP_GPIO=y
24 CONFIG_ROCKCHIP_RK3399_PINCTRL=y
27 CONFIG_DEBUG_UART_BASE=0xFF1A0000
28 CONFIG_DEBUG_UART_CLOCK=24000000
29 CONFIG_DEBUG_UART_SHIFT=2
32 CONFIG_USE_TINY_PRINTF=y