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
21 CONFIG_CMD_FS_GENERIC=y
22 CONFIG_ISO_PARTITION=y
23 CONFIG_EFI_PARTITION=y
27 CONFIG_ROCKCHIP_GPIO=y
29 CONFIG_MMC_DW_ROCKCHIP=y
30 CONFIG_ROCKCHIP_SDHCI=y
33 CONFIG_ROCKCHIP_RK3399_PINCTRL=y
34 CONFIG_REGULATOR_PWM=y
35 CONFIG_DM_REGULATOR_FIXED=y
39 CONFIG_DEBUG_UART_BASE=0xFF1A0000
40 CONFIG_DEBUG_UART_CLOCK=24000000
41 CONFIG_DEBUG_UART_SHIFT=2
46 CONFIG_USB_XHCI_DWC3=y
48 CONFIG_USB_EHCI_GENERIC=y
50 CONFIG_USE_TINY_PRINTF=y