CONFIG_ARM=y

  CONFIG_ARCH_MX6=y

  CONFIG_SYS_TEXT_BASE=0x17800000

  CONFIG_TARGET_TBS2910=y

  CONFIG_ENV_SIZE=0x2000
  CONFIG_ENV_OFFSET=0x60000

  CONFIG_DM_GPIO=y

  CONFIG_NR_DRAM_BANKS=1

  CONFIG_PRE_CON_BUF_ADDR=0x7c000000

  CONFIG_CMD_HDMIDETECT=y

  CONFIG_AHCI=y

  CONFIG_BOOTDELAY=3

  CONFIG_USE_PREBOOT=y

  CONFIG_PREBOOT="echo PCI:; pci enum; pci 1; usb start; if hdmidet; then run set_con_hdmi; else run set_con_serial; fi"

  CONFIG_PRE_CONSOLE_BUFFER=y

  CONFIG_SUPPORT_RAW_INITRD=y

  CONFIG_BOUNCE_BUFFER=y

  CONFIG_BOARD_EARLY_INIT_F=y

  CONFIG_HUSH_PARSER=y

  CONFIG_SYS_PROMPT="Matrix U-Boot> "

  CONFIG_CMD_BOOTZ=y

  # CONFIG_BOOTM_PLAN9 is not set
  # CONFIG_BOOTM_RTEMS is not set

  # CONFIG_BOOTM_VXWORKS is not set

  # CONFIG_CMD_FDT is not set

  CONFIG_CMD_MEMTEST=y

  CONFIG_CMD_GPIO=y
  CONFIG_CMD_I2C=y

  CONFIG_CMD_MMC=y

  CONFIG_CMD_PART=y

  CONFIG_CMD_PCI=y
  CONFIG_CMD_SATA=y

  CONFIG_CMD_USB=y

  CONFIG_CMD_USB_MASS_STORAGE=y

  CONFIG_CMD_DHCP=y

  CONFIG_CMD_MII=y

  CONFIG_CMD_PING=y

  CONFIG_CMD_CACHE=y

  CONFIG_CMD_TIME=y

  CONFIG_CMD_EXT2=y
  CONFIG_CMD_EXT4=y
  CONFIG_CMD_EXT4_WRITE=y
  CONFIG_CMD_FAT=y
  CONFIG_CMD_FS_GENERIC=y

  CONFIG_EFI_PARTITION=y

  CONFIG_OF_CONTROL=y
  CONFIG_OF_EMBED=y
  CONFIG_DEFAULT_DEVICE_TREE="imx6q-tbs2910"

  CONFIG_OF_DTB_PROPS_REMOVE=y
  CONFIG_OF_REMOVE_PROPS="dmas dma-names interrupt-parent interrupts interrupts-extended interrupt-names interrupt-map interrupt-map-mask"

  CONFIG_ENV_IS_IN_MMC=y

  CONFIG_SYS_RELOC_GD_ENV_ADDR=y

  CONFIG_DM=y

  CONFIG_DWC_AHSATA=y

  CONFIG_DM_I2C=y
  CONFIG_SYS_I2C_MXC=y

  CONFIG_DM_KEYBOARD=y

  CONFIG_DM_MMC=y

  CONFIG_FSL_USDHC=y

  CONFIG_PHYLIB=y

  CONFIG_PHY_ATHEROS=y
  CONFIG_DM_ETH=y
  CONFIG_FEC_MXC=y

  CONFIG_MII=y

  CONFIG_PCI=y

  CONFIG_DM_PCI=y
  # CONFIG_PCI_PNP is not set

  CONFIG_PINCTRL=y
  CONFIG_PINCTRL_IMX6=y

  CONFIG_DM_RTC=y
  CONFIG_RTC_DS1307=y

  CONFIG_DM_THERMAL=y

  CONFIG_USB=y

  CONFIG_DM_USB=y

  CONFIG_USB_STORAGE=y

  CONFIG_USB_KEYBOARD=y

  CONFIG_SYS_USB_EVENT_POLL_VIA_INT_QUEUE=y

  CONFIG_USB_GADGET=y

  CONFIG_USB_GADGET_MANUFACTURER="TBS"
  CONFIG_USB_GADGET_VENDOR_NUM=0x0525
  CONFIG_USB_GADGET_PRODUCT_NUM=0xa4a5

  CONFIG_CI_UDC=y

  CONFIG_USB_GADGET_DOWNLOAD=y

  CONFIG_I2C_EDID=y

  CONFIG_VIDEO_IPUV3=y

  CONFIG_VIDEO=y

  CONFIG_OF_LIBFDT_ASSUME_MASK=0xff

  # CONFIG_EFI_LOADER is not set