| CONFIG_ARM=y |
| CONFIG_SYS_L2_PL310=y |
| # CONFIG_SPL_USE_ARCH_MEMCPY is not set |
| # CONFIG_SPL_USE_ARCH_MEMSET is not set |
| CONFIG_ARCH_OMAP2PLUS=y |
| CONFIG_SYS_MALLOC_F_LEN=0x4000 |
| CONFIG_ENV_OFFSET=0xE0000 |
| CONFIG_DEFAULT_DEVICE_TREE="omap4-sdp" |
| CONFIG_SPL_TEXT_BASE=0x40300000 |
| CONFIG_OMAP44XX=y |
| CONFIG_TARGET_OMAP4_SDP4430=y |
| CONFIG_CMD_BAT=y |
| CONFIG_SPL=y |
| CONFIG_DISTRO_DEFAULTS=y |
| CONFIG_HAS_CUSTOM_SYS_INIT_SP_ADDR=y |
| CONFIG_CUSTOM_SYS_INIT_SP_ADDR=0x4030df00 |
| CONFIG_BOOTCOMMAND="if test ${boot_fit} -eq 1; then run update_to_fit; fi; run findfdt; run init_console; run envboot; run distro_bootcmd" |
| CONFIG_DEFAULT_FDT_FILE="omap4-sdp.dtb" |
| CONFIG_SYS_CONSOLE_IS_IN_ENV=y |
| CONFIG_SYS_CONSOLE_INFO_QUIET=y |
| CONFIG_SPL_MAX_SIZE=0xbc00 |
| CONFIG_SYS_SPL_MALLOC=y |
| CONFIG_SYS_SPL_MALLOC_SIZE=0x800000 |
| # CONFIG_SPL_I2C is not set |
| # CONFIG_SPL_NAND_SUPPORT is not set |
| CONFIG_SYS_MAXARGS=64 |
| CONFIG_CMD_ASKENV=y |
| CONFIG_CMD_GPIO=y |
| CONFIG_CMD_I2C=y |
| CONFIG_CMD_MMC=y |
| # CONFIG_CMD_SETEXPR is not set |
| # CONFIG_CMD_NFS is not set |
| CONFIG_CMD_EXT4_WRITE=y |
| # CONFIG_EFI_PARTITION is not set |
| CONFIG_SPL_PARTITION_UUIDS=y |
| CONFIG_OF_CONTROL=y |
| CONFIG_ENV_OVERWRITE=y |
| CONFIG_ENV_IS_IN_MMC=y |
| CONFIG_SYS_RELOC_GD_ENV_ADDR=y |
| CONFIG_SYS_MMC_ENV_DEV=1 |
| CONFIG_VERSION_VARIABLE=y |
| CONFIG_DM=y |
| CONFIG_SYS_I2C_LEGACY=y |
| CONFIG_SPL_SYS_I2C_LEGACY=y |
| CONFIG_MMC_OMAP_HS=y |
| CONFIG_CONS_INDEX=3 |
| CONFIG_SYS_NS16550=y |
| CONFIG_USB=y |
| CONFIG_USB_OMAP3=y |
| CONFIG_USB_GADGET=y |
| CONFIG_FAT_WRITE=y |
| # CONFIG_REGEX is not set |
| # CONFIG_EFI_LOADER is not set |