1CONFIG_ARM=y
2CONFIG_ARCH_OMAP2PLUS=y
3CONFIG_TI_COMMON_CMD_OPTIONS=y
4# CONFIG_SPL_GPIO_SUPPORT is not set
5CONFIG_SYS_MALLOC_F_LEN=0x2000
6CONFIG_TARGET_OMAP3_LOGIC=y
7# CONFIG_SPL_OMAP3_ID_NAND is not set
8CONFIG_SPL=y
9CONFIG_DISTRO_DEFAULTS=y
10CONFIG_NR_DRAM_BANKS=2
11# CONFIG_USE_BOOTCOMMAND is not set
12CONFIG_SYS_CONSOLE_INFO_QUIET=y
13CONFIG_VERSION_VARIABLE=y
14CONFIG_SPL_SYS_MALLOC_SIMPLE=y
15CONFIG_SPL_MTD_SUPPORT=y
16CONFIG_SPL_OS_BOOT=y
17CONFIG_SYS_PROMPT="OMAP Logic # "
18# CONFIG_CMD_IMI is not set
19CONFIG_CMD_SPL=y
20CONFIG_CMD_SPL_NAND_OFS=0x240000
21CONFIG_CMD_SPL_WRITE_SIZE=0x20000
22# CONFIG_CMD_EEPROM is not set
23# CONFIG_CMD_FLASH is not set
24CONFIG_CMD_NAND=y
25CONFIG_CMD_NAND_LOCK_UNLOCK=y
26CONFIG_CMD_CACHE=y
27CONFIG_CMD_MTDPARTS=y
28CONFIG_MTDIDS_DEFAULT="nand0=omap2-nand.0"
29CONFIG_MTDPARTS_DEFAULT="mtdparts=omap2-nand.0:512k(MLO),1792k(u-boot),128k(spl-os),128k(u-boot-env),6m(kernel),-(fs)"
30CONFIG_CMD_UBI=y
31CONFIG_OF_CONTROL=y
32CONFIG_SPL_OF_CONTROL=y
33CONFIG_DEFAULT_DEVICE_TREE="logicpd-torpedo-37xx-devkit"
34CONFIG_SPL_OF_PLATDATA=y
35# CONFIG_ENV_IS_IN_FAT is not set
36CONFIG_ENV_IS_IN_NAND=y
37CONFIG_SPL_DM=y
38CONFIG_USB_FUNCTION_FASTBOOT=y
39CONFIG_FASTBOOT_BUF_ADDR=0x82000000
40CONFIG_DM_I2C=y
41CONFIG_DM_MMC=y
42CONFIG_MMC_OMAP_HS=y
43CONFIG_MMC_OMAP36XX_PINS=y
44CONFIG_NAND=y
45CONFIG_SYS_NAND_BUSWIDTH_16BIT=y
46CONFIG_SYS_NAND_U_BOOT_LOCATIONS=y
47CONFIG_SYS_NAND_U_BOOT_OFFS=0x80000
48CONFIG_SPL_NAND_SIMPLE=y
49CONFIG_SMC911X=y
50CONFIG_SMC911X_BASE=0x08000000
51CONFIG_SMC911X_32_BIT=y
52CONFIG_PINCTRL=y
53CONFIG_PINCTRL_SINGLE=y
54CONFIG_DM_PMIC=y
55# CONFIG_SPL_PMIC_CHILDREN is not set
56CONFIG_DM_REGULATOR=y
57CONFIG_DM_REGULATOR_FIXED=y
58CONFIG_DM_REGULATOR_GPIO=y
59CONFIG_SPECIFY_CONSOLE_INDEX=y
60CONFIG_SPI=y
61CONFIG_DM_SPI=y
62CONFIG_OMAP3_SPI=y
63CONFIG_USB=y
64CONFIG_USB_EHCI_HCD=y
65CONFIG_USB_MUSB_GADGET=y
66CONFIG_USB_MUSB_OMAP2PLUS=y
67CONFIG_TWL4030_USB=y
68CONFIG_USB_GADGET=y
69CONFIG_USB_GADGET_MANUFACTURER="TI"
70CONFIG_USB_GADGET_VENDOR_NUM=0x0451
71CONFIG_USB_GADGET_PRODUCT_NUM=0xd022
72CONFIG_USB_ETHER=y
73CONFIG_BCH=y
74# CONFIG_SPL_OF_LIBFDT is not set
75