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
26 CONFIG_ROCKCHIP_RK3399_PINCTRL=y
28 CONFIG_REGULATOR_PWM=y
29 CONFIG_DM_REGULATOR_FIXED=y
32 CONFIG_DEBUG_UART_BASE=0xFF1A0000
33 CONFIG_DEBUG_UART_CLOCK=24000000
34 CONFIG_DEBUG_UART_SHIFT=2
39 CONFIG_USB_XHCI_DWC3=y
41 CONFIG_USB_EHCI_GENERIC=y
43 CONFIG_USE_TINY_PRINTF=y