1CONFIG_ARM=y
2CONFIG_ARCH_OMAP2PLUS=y
3CONFIG_SYS_TEXT_BASE=0x80100000
4CONFIG_NR_DRAM_BANKS=1
5CONFIG_SPL_TEXT_BASE=0x40300000
6CONFIG_OMAP44XX=y
7CONFIG_TARGET_KC1=y
8CONFIG_SPL=y
9CONFIG_DISTRO_DEFAULTS=y
10# CONFIG_USE_BOOTCOMMAND is not set
11CONFIG_SYS_CONSOLE_IS_IN_ENV=y
12# CONFIG_SYS_MMCSD_RAW_MODE_U_BOOT_USE_SECTOR is not set
13CONFIG_SYS_MMCSD_RAW_MODE_U_BOOT_USE_PARTITION=y
14CONFIG_SYS_MMCSD_RAW_MODE_U_BOOT_PARTITION=2
15# CONFIG_SPL_NAND_SUPPORT is not set
16CONFIG_SYS_PROMPT="kc1 # "
17CONFIG_CMD_GPIO=y
18CONFIG_CMD_I2C=y
19CONFIG_CMD_MMC=y
20# CONFIG_CMD_SETEXPR is not set
21# CONFIG_CMD_NFS is not set
22CONFIG_ENV_OVERWRITE=y
23CONFIG_SYS_RELOC_GD_ENV_ADDR=y
24CONFIG_USB_FUNCTION_FASTBOOT=y
25CONFIG_FASTBOOT_BUF_ADDR=0x82000000
26CONFIG_FASTBOOT_BUF_SIZE=0x2000000
27CONFIG_FASTBOOT_FLASH=y
28CONFIG_FASTBOOT_FLASH_MMC_DEV=0
29CONFIG_SYS_OMAP24_I2C_SPEED=400000
30CONFIG_MMC_OMAP_HS=y
31CONFIG_CONS_INDEX=3
32CONFIG_SYS_NS16550=y
33CONFIG_USB=y
34CONFIG_USB_MUSB_GADGET=y
35CONFIG_USB_MUSB_OMAP2PLUS=y
36CONFIG_USB_GADGET=y
37CONFIG_USB_GADGET_MANUFACTURER="Texas Instruments"
38CONFIG_USB_GADGET_VENDOR_NUM=0x0451
39CONFIG_USB_GADGET_PRODUCT_NUM=0xd022
40CONFIG_OF_LIBFDT=y
41