3 CONFIG_SPL_LIBCOMMON_SUPPORT=y
4 CONFIG_SPL_LIBGENERIC_SUPPORT=y
5 CONFIG_SYS_MALLOC_F_LEN=0x8000
7 CONFIG_TARGET_AM654_A53_EVM=y
8 CONFIG_SPL_MMC_SUPPORT=y
9 CONFIG_SPL_SERIAL_SUPPORT=y
10 CONFIG_SPL_DRIVERS_MISC_SUPPORT=y
11 CONFIG_ENV_SIZE=0x20000
12 CONFIG_ENV_OFFSET=0x680000
13 CONFIG_SPL_STACK_R_ADDR=0x82000000
14 CONFIG_NR_DRAM_BANKS=2
16 CONFIG_SPL_LIBDISK_SUPPORT=y
17 # CONFIG_PSCI_RESET is not set
18 CONFIG_SPL_TEXT_BASE=0x80080000
19 CONFIG_DISTRO_DEFAULTS=y
20 # CONFIG_SYS_MALLOC_CLEAR_ON_INIT is not set
22 CONFIG_OF_BOARD_SETUP=y
23 CONFIG_BOOTCOMMAND="run findfdt; run envboot; run init_${boot}; run boot_rprocs; run get_kern_${boot}; run get_fdt_${boot}; run get_overlay_${boot}; run run_kern"
25 CONFIG_SPL_SYS_MALLOC_SIMPLE=y
27 CONFIG_SPL_SEPARATE_BSS=y
28 CONFIG_SYS_MMCSD_RAW_MODE_U_BOOT_USE_SECTOR=y
29 CONFIG_SYS_MMCSD_RAW_MODE_U_BOOT_SECTOR=0x1400
30 CONFIG_SPL_I2C_SUPPORT=y
31 CONFIG_SPL_DM_MAILBOX=y
33 CONFIG_SPL_POWER_DOMAIN=y
34 CONFIG_SPL_YMODEM_SUPPORT=y
41 CONFIG_CMD_REMOTEPROC=y
43 # CONFIG_CMD_SETEXPR is not set
45 # CONFIG_ISO_PARTITION is not set
47 CONFIG_SPL_OF_CONTROL=y
48 CONFIG_DEFAULT_DEVICE_TREE="k3-am654-base-board"
49 CONFIG_SPL_MULTI_DTB_FIT=y
50 CONFIG_SPL_MULTI_DTB_FIT_NO_COMPRESSION=y
51 CONFIG_ENV_IS_IN_MMC=y
52 CONFIG_SYS_REDUNDAND_ENVIRONMENT=y
53 CONFIG_ENV_OFFSET_REDUND=0x6A0000
54 CONFIG_SYS_RELOC_GD_ENV_ADDR=y
55 CONFIG_NET_RANDOM_ETHADDR=y
58 CONFIG_SPL_DM_SEQ_ALIAS=y
67 CONFIG_TI_K3_NAVSS_UDMA=y
68 CONFIG_TI_SCI_PROTOCOL=y
72 CONFIG_I2C_SET_DEFAULT_BUS_NUM=y
73 CONFIG_SYS_I2C_OMAP24XX=y
79 CONFIG_MMC_SDHCI_ADMA=y
80 CONFIG_SPL_MMC_SDHCI_ADMA=y
81 CONFIG_MMC_SDHCI_AM654=y
87 CONFIG_TI_AM65_CPSW_NUSS=y
93 CONFIG_OMAP_USB2_PHY=y
95 # CONFIG_PINCTRL_GENERIC is not set
97 # CONFIG_SPL_PINCTRL_GENERIC is not set
98 CONFIG_PINCTRL_SINGLE=y
100 CONFIG_TI_SCI_POWER_DOMAIN=y
101 CONFIG_REMOTEPROC_TI_K3_R5F=y
103 CONFIG_RESET_TI_SCI=y
107 CONFIG_SPL_SYSRESET=y
108 CONFIG_SYSRESET_TI_SCI=y
111 CONFIG_DM_USB_GADGET=y
112 CONFIG_USB_XHCI_HCD=y
113 CONFIG_USB_XHCI_DWC3=y
115 CONFIG_USB_DWC3_GADGET=y
116 CONFIG_USB_DWC3_GENERIC=y
117 CONFIG_USB_KEYBOARD=y
119 CONFIG_USB_GADGET_MANUFACTURER="Texas Instruments"
120 CONFIG_USB_GADGET_VENDOR_NUM=0x0451
121 CONFIG_USB_GADGET_PRODUCT_NUM=0x6162
122 CONFIG_USB_GADGET_DOWNLOAD=y
124 CONFIG_OF_LIBFDT_OVERLAY=y