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_ENV_SIZE=0x20000
9 CONFIG_ENV_OFFSET=0x680000
11 CONFIG_SPL_MMC_SUPPORT=y
12 CONFIG_SPL_SERIAL_SUPPORT=y
13 CONFIG_SPL_DRIVERS_MISC_SUPPORT=y
14 CONFIG_SPL_STACK_R_ADDR=0x82000000
15 CONFIG_NR_DRAM_BANKS=2
17 CONFIG_SPL_LIBDISK_SUPPORT=y
18 # CONFIG_PSCI_RESET is not set
19 CONFIG_SPL_TEXT_BASE=0x80080000
20 CONFIG_DISTRO_DEFAULTS=y
21 # CONFIG_SYS_MALLOC_CLEAR_ON_INIT is not set
23 CONFIG_OF_BOARD_SETUP=y
24 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"
26 CONFIG_SPL_SYS_MALLOC_SIMPLE=y
28 CONFIG_SPL_SEPARATE_BSS=y
29 CONFIG_SYS_MMCSD_RAW_MODE_U_BOOT_USE_SECTOR=y
30 CONFIG_SYS_MMCSD_RAW_MODE_U_BOOT_SECTOR=0x1400
31 CONFIG_SPL_I2C_SUPPORT=y
32 CONFIG_SPL_DM_MAILBOX=y
34 CONFIG_SPL_POWER_DOMAIN=y
35 CONFIG_SPL_YMODEM_SUPPORT=y
42 CONFIG_CMD_REMOTEPROC=y
44 # CONFIG_CMD_SETEXPR is not set
46 # CONFIG_ISO_PARTITION is not set
48 CONFIG_SPL_OF_CONTROL=y
49 CONFIG_DEFAULT_DEVICE_TREE="k3-am654-base-board"
50 CONFIG_SPL_MULTI_DTB_FIT=y
51 CONFIG_SPL_MULTI_DTB_FIT_NO_COMPRESSION=y
52 CONFIG_ENV_IS_IN_MMC=y
53 CONFIG_SYS_REDUNDAND_ENVIRONMENT=y
54 CONFIG_ENV_OFFSET_REDUND=0x6A0000
55 CONFIG_SYS_RELOC_GD_ENV_ADDR=y
56 CONFIG_NET_RANDOM_ETHADDR=y
59 CONFIG_SPL_DM_SEQ_ALIAS=y
67 CONFIG_TI_K3_NAVSS_UDMA=y
68 CONFIG_TI_SCI_PROTOCOL=y
71 CONFIG_I2C_SET_DEFAULT_BUS_NUM=y
72 CONFIG_SYS_I2C_OMAP24XX=y
78 CONFIG_MMC_SDHCI_ADMA=y
79 CONFIG_SPL_MMC_SDHCI_ADMA=y
80 CONFIG_MMC_SDHCI_AM654=y
86 CONFIG_TI_AM65_CPSW_NUSS=y
92 CONFIG_OMAP_USB2_PHY=y
94 # CONFIG_PINCTRL_GENERIC is not set
96 # CONFIG_SPL_PINCTRL_GENERIC is not set
97 CONFIG_PINCTRL_SINGLE=y
99 CONFIG_TI_SCI_POWER_DOMAIN=y
100 CONFIG_REMOTEPROC_TI_K3_R5F=y
102 CONFIG_RESET_TI_SCI=y
106 CONFIG_SPL_SYSRESET=y
107 CONFIG_SYSRESET_TI_SCI=y
110 CONFIG_DM_USB_GADGET=y
111 CONFIG_USB_XHCI_HCD=y
112 CONFIG_USB_XHCI_DWC3=y
114 CONFIG_USB_DWC3_GENERIC=y
115 CONFIG_USB_KEYBOARD=y
117 CONFIG_USB_GADGET_MANUFACTURER="Texas Instruments"
118 CONFIG_USB_GADGET_VENDOR_NUM=0x0451
119 CONFIG_USB_GADGET_PRODUCT_NUM=0x6162
120 CONFIG_USB_GADGET_DOWNLOAD=y
122 CONFIG_OF_LIBFDT_OVERLAY=y