3 CONFIG_ROCKCHIP_RK3399=y
4 CONFIG_TARGET_EVB_RK3399=y
5 CONFIG_DEFAULT_DEVICE_TREE="rk3399-evb"
8 # CONFIG_CMD_IMLS is not set
11 # CONFIG_CMD_SETEXPR is not set
17 CONFIG_CMD_FS_GENERIC=y
24 CONFIG_ROCKCHIP_DWMMC=y
25 CONFIG_ROCKCHIP_SDHCI=y
30 CONFIG_DEBUG_UART_BASE=0xFF1A0000
31 CONFIG_DEBUG_UART_CLOCK=24000000
32 CONFIG_DEBUG_UART_SHIFT=2
33 CONFIG_USE_TINY_PRINTF=y