1CONFIG_ARM=y
2CONFIG_ARCH_ROCKCHIP=y
3CONFIG_ROCKCHIP_RK3399=y
4CONFIG_DEFAULT_DEVICE_TREE="rk3399-evb"
5CONFIG_FIT=y
6CONFIG_SPL_LOAD_FIT=y
7CONFIG_SPL_OF_LIBFDT=y
8CONFIG_SPL_ATF_SUPPORT=y
9CONFIG_SYS_MMCSD_RAW_MODE_U_BOOT_SECTOR=0x200
10CONFIG_SPL_ATF_TEXT_BASE=0x00010000
11# CONFIG_DISPLAY_CPUINFO is not set
12CONFIG_SPL_STACK_R=y
13CONFIG_SPL_STACK_R_ADDR=0x80000
14CONFIG_SPL_STACK_R_MALLOC_SIMPLE_LEN=0x4000
15CONFIG_SYS_MALLOC_F_LEN=0x4000
16CONFIG_CMD_BOOTZ=y
17# CONFIG_CMD_IMLS is not set
18CONFIG_CMD_GPT=y
19CONFIG_CMD_MMC=y
20CONFIG_CMD_SF=y
21CONFIG_CMD_USB=y
22# CONFIG_CMD_SETEXPR is not set
23CONFIG_CMD_TIME=y
24CONFIG_CMD_PXE=y
25CONFIG_SPL_OF_CONTROL=y
26CONFIG_OF_SPL_REMOVE_PROPS="pinctrl-0 pinctrl-names clock-names interrupt-parent assigned-clocks assigned-clock-rates assigned-clock-parents"
27CONFIG_SPL_OF_PLATDATA=y
28CONFIG_REGMAP=y
29CONFIG_SPL_REGMAP=y
30CONFIG_SYSCON=y
31CONFIG_SPL_SYSCON=y
32CONFIG_CLK=y
33CONFIG_SPL_CLK=y
34CONFIG_ROCKCHIP_GPIO=y
35CONFIG_MMC_DW=y
36CONFIG_MMC_SDHCI=y
37CONFIG_MMC_SDHCI_ROCKCHIP=y
38CONFIG_PINCTRL=y
39CONFIG_SPL_PINCTRL=y
40CONFIG_ROCKCHIP_RK3399_PINCTRL=y
41CONFIG_REGULATOR_PWM=y
42CONFIG_DM_REGULATOR_FIXED=y
43CONFIG_PWM_ROCKCHIP=y
44CONFIG_RAM=y
45CONFIG_SPL_RAM=y
46CONFIG_BAUDRATE=1500000
47CONFIG_DEBUG_UART=y
48CONFIG_DEBUG_UART_BASE=0xFF1A0000
49CONFIG_DEBUG_UART_CLOCK=24000000
50CONFIG_DEBUG_UART_SHIFT=2
51CONFIG_SYS_NS16550=y
52CONFIG_SYSRESET=y
53CONFIG_USB=y
54CONFIG_USB_XHCI_HCD=y
55CONFIG_USB_XHCI_DWC3=y
56CONFIG_USB_EHCI_HCD=y
57CONFIG_USB_EHCI_GENERIC=y
58CONFIG_USB_STORAGE=y
59CONFIG_USE_TINY_PRINTF=y
60CONFIG_ERRNO_STR=y
61