2 CONFIG_ARCH_OMAP2PLUS=y
3 CONFIG_SYS_MALLOC_LEN=0x500000
5 CONFIG_SPL_LIBCOMMON_SUPPORT=y
6 CONFIG_SPL_LIBGENERIC_SUPPORT=y
7 CONFIG_ENV_SIZE=0x10000
8 CONFIG_ENV_OFFSET=0x40000
10 CONFIG_DEFAULT_DEVICE_TREE="am335x-brxre1"
12 CONFIG_SYS_MPUCLK=1000
13 CONFIG_TARGET_BRXRE1=y
14 # CONFIG_OF_LIBFDT_OVERLAY is not set
17 CONFIG_SPL_SYS_MALLOC_F_LEN=0x4000
19 CONFIG_ENV_OFFSET_REDUND=0x50000
20 CONFIG_SYS_LOAD_ADDR=0x80000000
21 # CONFIG_EXPERT is not set
22 # CONFIG_FIT is not set
24 CONFIG_OF_BOARD_SETUP=y
25 CONFIG_USE_BOOTCOMMAND=y
26 CONFIG_BOOTCOMMAND="mmc dev 1; run b_default"
28 CONFIG_PREBOOT="run cfgscr; run brdefaultip"
31 CONFIG_SYS_CONSOLE_OVERWRITE_ROUTINE=y
32 CONFIG_SYS_CONSOLE_INFO_QUIET=y
33 # CONFIG_DISPLAY_CPUINFO is not set
34 # CONFIG_DISPLAY_BOARDINFO is not set
35 CONFIG_ARCH_MISC_INIT=y
36 CONFIG_SPL_BOARD_INIT=y
37 CONFIG_SPL_SYS_MALLOC_SIMPLE=y
38 CONFIG_SPL_SYS_MALLOC=y
39 CONFIG_SPL_SYS_MALLOC_SIZE=0x500000
41 # CONFIG_SPL_NAND_SUPPORT is not set
43 CONFIG_SPL_YMODEM_SUPPORT=y
45 # CONFIG_CMD_BOOTD is not set
47 # CONFIG_BOOTM_NETBSD is not set
48 # CONFIG_BOOTM_PLAN9 is not set
49 # CONFIG_BOOTM_RTEMS is not set
50 # CONFIG_CMD_IMI is not set
51 # CONFIG_CMD_XIMG is not set
52 # CONFIG_CMD_EDITENV is not set
53 # CONFIG_CMD_CRC32 is not set
56 # CONFIG_CMD_LOADS is not set
60 # CONFIG_CMD_ITEST is not set
62 CONFIG_BOOTP_MAY_FAIL=y
63 CONFIG_SYS_DISABLE_AUTOLOAD=y
68 CONFIG_CMD_FS_GENERIC=y
69 # CONFIG_SPL_DOS_PARTITION is not set
71 CONFIG_SPL_OF_CONTROL=y
72 CONFIG_OF_SPL_REMOVE_PROPS=""
73 CONFIG_ENV_OVERWRITE=y
74 CONFIG_ENV_IS_IN_MMC=y
75 CONFIG_SYS_REDUNDAND_ENVIRONMENT=y
76 CONFIG_SYS_RELOC_GD_ENV_ADDR=y
77 CONFIG_SYS_MMC_ENV_DEV=1
78 CONFIG_SYS_MMC_ENV_PART=2
79 CONFIG_VERSION_VARIABLE=y
80 CONFIG_NET_RETRY_COUNT=10
81 CONFIG_BOOTP_SEND_HOSTNAME=y
82 CONFIG_NET_RANDOM_ETHADDR=y
85 CONFIG_SPL_DM_SEQ_ALIAS=y
86 # CONFIG_OF_TRANSLATE is not set
90 CONFIG_DRIVER_TI_CPSW=y
91 CONFIG_PMIC_TPS65217=y
94 CONFIG_USB_MUSB_HOST=y
95 CONFIG_USB_MUSB_GADGET=y
99 CONFIG_SPL_TINY_MEMSET=y
100 # CONFIG_EFI_LOADER is not set