2 CONFIG_ARCH_OMAP2PLUS=y
3 CONFIG_SYS_TEXT_BASE=0x80100000
6 # CONFIG_SPL_NAND_SUPPORT is not set
7 CONFIG_SYS_CONSOLE_IS_IN_ENV=y
9 # CONFIG_SYS_MMCSD_RAW_MODE_U_BOOT_USE_SECTOR is not set
10 CONFIG_SYS_MMCSD_RAW_MODE_U_BOOT_USE_PARTITION=y
11 CONFIG_SYS_MMCSD_RAW_MODE_U_BOOT_PARTITION=2
13 CONFIG_SYS_PROMPT="kc1 # "
15 CONFIG_FASTBOOT_BUF_ADDR=0x82000000
16 CONFIG_FASTBOOT_BUF_SIZE=0x2000000
17 CONFIG_FASTBOOT_FLASH=y
18 CONFIG_FASTBOOT_FLASH_MMC_DEV=0
20 # CONFIG_CMD_FLASH is not set
21 # CONFIG_CMD_FPGA is not set
26 # CONFIG_CMD_SETEXPR is not set
28 # CONFIG_CMD_NFS is not set
34 CONFIG_CMD_FS_GENERIC=y
35 CONFIG_ISO_PARTITION=y
36 CONFIG_EFI_PARTITION=y
40 CONFIG_USB_MUSB_GADGET=y
42 CONFIG_USB_GADGET_MANUFACTURER="Texas Instruments"
43 CONFIG_USB_GADGET_VENDOR_NUM=0x0451
44 CONFIG_USB_GADGET_PRODUCT_NUM=0xd022