3 CONFIG_ROCKCHIP_RK3399=y
4 CONFIG_DEFAULT_DEVICE_TREE="rk3399-evb"
6 # CONFIG_DISPLAY_CPUINFO is not set
9 # CONFIG_CMD_IMLS is not set
13 # CONFIG_CMD_SETEXPR is not set
18 CONFIG_CMD_FS_GENERIC=y
22 CONFIG_ROCKCHIP_GPIO=y
23 CONFIG_ROCKCHIP_DWMMC=y
24 CONFIG_ROCKCHIP_SDHCI=y
27 CONFIG_ROCKCHIP_RK3399_PINCTRL=y
28 CONFIG_REGULATOR_PWM=y
29 CONFIG_DM_REGULATOR_FIXED=y
33 CONFIG_DEBUG_UART_BASE=0xFF1A0000
34 CONFIG_DEBUG_UART_CLOCK=24000000
35 CONFIG_DEBUG_UART_SHIFT=2
40 CONFIG_USB_XHCI_DWC3=y
42 CONFIG_USB_EHCI_GENERIC=y
44 CONFIG_USE_TINY_PRINTF=y