2 # CONFIG_SPL_USE_ARCH_MEMCPY is not set
3 # CONFIG_SPL_USE_ARCH_MEMSET is not set
4 CONFIG_ARCH_OMAP2PLUS=y
5 CONFIG_SYS_MALLOC_F_LEN=0x4000
6 CONFIG_ENV_OFFSET=0xE0000
7 CONFIG_DEFAULT_DEVICE_TREE="omap4-sdp"
8 CONFIG_SPL_TEXT_BASE=0x40300000
10 CONFIG_TARGET_OMAP4_SDP4430=y
13 CONFIG_DISTRO_DEFAULTS=y
14 CONFIG_BOOTCOMMAND="if test ${boot_fit} -eq 1; then run update_to_fit; fi; run findfdt; run init_console; run envboot; run distro_bootcmd"
15 CONFIG_DEFAULT_FDT_FILE="omap4-sdp.dtb"
16 CONFIG_SYS_CONSOLE_IS_IN_ENV=y
17 CONFIG_SYS_CONSOLE_INFO_QUIET=y
18 # CONFIG_SPL_I2C is not set
19 # CONFIG_SPL_NAND_SUPPORT is not set
24 # CONFIG_CMD_SETEXPR is not set
25 # CONFIG_CMD_NFS is not set
26 CONFIG_CMD_EXT4_WRITE=y
27 # CONFIG_EFI_PARTITION is not set
28 CONFIG_SPL_PARTITION_UUIDS=y
30 CONFIG_ENV_OVERWRITE=y
31 CONFIG_ENV_IS_IN_MMC=y
32 CONFIG_SYS_RELOC_GD_ENV_ADDR=y
33 CONFIG_SYS_MMC_ENV_DEV=1
34 CONFIG_VERSION_VARIABLE=y
44 # CONFIG_REGEX is not set
45 # CONFIG_EFI_LOADER is not set