1ae51b570SPaul KocialkowskiCONFIG_ARM=y 2ae51b570SPaul KocialkowskiCONFIG_OMAP44XX=y 3ae51b570SPaul KocialkowskiCONFIG_TARGET_KC1=y 4ae51b570SPaul KocialkowskiCONFIG_SPL=y 5ae51b570SPaul KocialkowskiCONFIG_SYS_PROMPT="kc1 # " 6ae51b570SPaul Kocialkowski# CONFIG_CMD_IMLS is not set 7ae51b570SPaul Kocialkowski# CONFIG_CMD_FLASH is not set 8ae51b570SPaul Kocialkowski# CONFIG_CMD_FPGA is not set 9ae51b570SPaul KocialkowskiCONFIG_CMD_GPIO=y 10ae51b570SPaul Kocialkowski# CONFIG_CMD_SETEXPR is not set 11ae51b570SPaul Kocialkowski# CONFIG_CMD_NFS is not set 12ae51b570SPaul KocialkowskiCONFIG_SYS_NS16550=y 13e66782e6SPaul KocialkowskiCONFIG_USB=y 14e66782e6SPaul KocialkowskiCONFIG_USB_MUSB_GADGET=y 15f9d0fd8aSSam ProtsenkoCONFIG_USB_GADGET=y 16aaa4a9e3SSam ProtsenkoCONFIG_USB_GADGET_DOWNLOAD=y 17*e6c0bc06SSam ProtsenkoCONFIG_G_DNL_MANUFACTURER="Texas Instruments" 18*e6c0bc06SSam ProtsenkoCONFIG_G_DNL_VENDOR_NUM=0x0451 19*e6c0bc06SSam ProtsenkoCONFIG_G_DNL_PRODUCT_NUM=0xd022 20163d8764SPaul KocialkowskiCONFIG_OF_LIBFDT=y 21