2 CONFIG_SKIP_LOWLEVEL_INIT=y
3 CONFIG_COUNTER_FREQUENCY=24000000
5 CONFIG_TEXT_BASE=0x00a00000
6 CONFIG_SPL_LIBCOMMON_SUPPORT=y
7 CONFIG_SPL_LIBGENERIC_SUPPORT=y
9 CONFIG_HAS_CUSTOM_SYS_INIT_SP_ADDR=y
10 CONFIG_CUSTOM_SYS_INIT_SP_ADDR=0xc00000
11 CONFIG_DEFAULT_DEVICE_TREE="rk3588-evb1-v10"
13 CONFIG_ROCKCHIP_RK3588=y
14 CONFIG_SPL_ROCKCHIP_COMMON_BOARD=y
16 CONFIG_SPL_STACK_R_ADDR=0x600000
17 CONFIG_TARGET_EVB_RK3588=y
18 CONFIG_SPL_STACK=0x400000
19 CONFIG_DEBUG_UART_BASE=0xFEB50000
20 CONFIG_DEBUG_UART_CLOCK=24000000
21 CONFIG_SYS_LOAD_ADDR=0xc00800
26 CONFIG_OF_BOARD_SETUP=y
27 CONFIG_DEFAULT_FDT_FILE="rockchip/rk3588-evb1-v10.dtb"
28 # CONFIG_DISPLAY_CPUINFO is not set
29 CONFIG_DISPLAY_BOARDINFO_LATE=y
30 CONFIG_SPL_MAX_SIZE=0x20000
31 CONFIG_SPL_PAD_TO=0x7f8000
32 CONFIG_SPL_HAS_BSS_LINKER_SECTION=y
33 CONFIG_SPL_BSS_START_ADDR=0x4000000
34 CONFIG_SPL_BSS_MAX_SIZE=0x4000
35 # CONFIG_SPL_RAW_IMAGE_SUPPORT is not set
36 # CONFIG_SPL_SHARES_INIT_SP_ADDR is not set
41 # CONFIG_CMD_SETEXPR is not set
42 # CONFIG_SPL_DOS_PARTITION is not set
43 CONFIG_SPL_OF_CONTROL=y
45 CONFIG_OF_SPL_REMOVE_PROPS="pinctrl-0 pinctrl-names clock-names interrupt-parent assigned-clocks assigned-clock-rates assigned-clock-parents"
46 CONFIG_NET_RANDOM_ETHADDR=y
50 CONFIG_ROCKCHIP_GPIO=y
51 CONFIG_SYS_I2C_ROCKCHIP=y
53 CONFIG_SUPPORT_EMMC_RPMB=y
55 CONFIG_MMC_DW_ROCKCHIP=y
57 CONFIG_MMC_SDHCI_SDMA=y
58 CONFIG_MMC_SDHCI_ROCKCHIP=y
59 CONFIG_ETH_DESIGNWARE=y
60 CONFIG_GMAC_ROCKCHIP=y
61 CONFIG_REGULATOR_PWM=y
64 CONFIG_BAUDRATE=1500000
65 CONFIG_DEBUG_UART_SHIFT=2
66 CONFIG_DEBUG_UART_ANNOUNCE=y