3 CONFIG_ROCKCHIP_RK3399=y
4 CONFIG_DEFAULT_DEVICE_TREE="rk3399-evb"
6 # CONFIG_DISPLAY_CPUINFO is not set
8 # CONFIG_CMD_IMLS is not set
13 # CONFIG_CMD_SETEXPR is not set
18 CONFIG_ROCKCHIP_GPIO=y
20 CONFIG_MMC_DW_ROCKCHIP=y
21 CONFIG_ROCKCHIP_SDHCI=y
24 CONFIG_ROCKCHIP_RK3399_PINCTRL=y
25 CONFIG_REGULATOR_PWM=y
26 CONFIG_DM_REGULATOR_FIXED=y
30 CONFIG_DEBUG_UART_BASE=0xFF1A0000
31 CONFIG_DEBUG_UART_CLOCK=24000000
32 CONFIG_DEBUG_UART_SHIFT=2
37 CONFIG_USB_XHCI_DWC3=y
39 CONFIG_USB_EHCI_GENERIC=y
41 CONFIG_USE_TINY_PRINTF=y