CONFIG_ARM=y

  CONFIG_ARCH_MX6=y

  CONFIG_SYS_TEXT_BASE=0x17800000

  CONFIG_SPL_GPIO_SUPPORT=y

  CONFIG_SPL_LIBCOMMON_SUPPORT=y

  CONFIG_SPL_LIBGENERIC_SUPPORT=y

  CONFIG_TARGET_MX6SABRESD=y

  CONFIG_SPL_MMC_SUPPORT=y

  CONFIG_SPL_SERIAL_SUPPORT=y

  CONFIG_SPL=y

  CONFIG_SPL_LIBDISK_SUPPORT=y

  CONFIG_NR_DRAM_BANKS=1

  # CONFIG_SYS_MALLOC_F is not set
  CONFIG_FIT=y
  CONFIG_SPL_FIT_PRINT=y
  CONFIG_SPL_LOAD_FIT=y

  CONFIG_SYS_EXTRA_OPTIONS="IMX_CONFIG=arch/arm/mach-imx/spl_sd.cfg"

  # CONFIG_CONSOLE_MUX is not set
  CONFIG_SYS_CONSOLE_IS_IN_ENV=y

  CONFIG_SYS_CONSOLE_OVERWRITE_ROUTINE=y

  CONFIG_SUPPORT_RAW_INITRD=y

  CONFIG_BOUNCE_BUFFER=y

  CONFIG_SPL_SEPARATE_BSS=y
  CONFIG_SPL_FIT_IMAGE_TINY=y

  CONFIG_SPL_FS_EXT4=y

  CONFIG_SPL_I2C_SUPPORT=y

  CONFIG_SPL_OS_BOOT=y

  CONFIG_SPL_USB_HOST_SUPPORT=y

  CONFIG_SPL_USB_GADGET=y

  CONFIG_SPL_USB_SDP_SUPPORT=y

  CONFIG_SPL_WATCHDOG_SUPPORT=y

  CONFIG_HUSH_PARSER=y

  CONFIG_CMD_BOOTZ=y

  CONFIG_CMD_SPL=y

  CONFIG_CMD_SPL_WRITE_SIZE=0x20000

  # CONFIG_CMD_FLASH is not set

  CONFIG_CMD_GPIO=y
  CONFIG_CMD_I2C=y

  CONFIG_CMD_MMC=y

  CONFIG_CMD_PART=y

  CONFIG_CMD_PCI=y

  CONFIG_CMD_SF=y

  CONFIG_CMD_USB=y

  CONFIG_CMD_USB_SDP=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_EXT2=y
  CONFIG_CMD_EXT4=y
  CONFIG_CMD_EXT4_WRITE=y
  CONFIG_CMD_FAT=y
  CONFIG_CMD_FS_GENERIC=y

  # CONFIG_SPL_DOS_PARTITION is not set

  CONFIG_EFI_PARTITION=y

  # CONFIG_SPL_EFI_PARTITION is not set

  CONFIG_OF_CONTROL=y
  CONFIG_SPL_OF_CONTROL=y
  CONFIG_DEFAULT_DEVICE_TREE="imx6q-sabresd"
  CONFIG_OF_LIST="imx6q-sabresd imx6qp-sabresd imx6dl-sabresd"
  CONFIG_MULTI_DTB_FIT=y
  CONFIG_SPL_MULTI_DTB_FIT=y
  CONFIG_SPL_OF_LIST="imx6dl-sabresd imx6q-sabresd imx6qp-sabresd"

  CONFIG_ENV_IS_IN_MMC=y

  CONFIG_ENV_VARS_UBOOT_RUNTIME_CONFIG=y

  CONFIG_SPL_DM=y

  CONFIG_USB_FUNCTION_FASTBOOT=y
  CONFIG_FASTBOOT_BUF_ADDR=0x12000000
  CONFIG_FASTBOOT_BUF_SIZE=0x10000000
  CONFIG_FASTBOOT_FLASH=y
  CONFIG_FASTBOOT_FLASH_MMC_DEV=2

  CONFIG_DM_GPIO=y

  CONFIG_DM_MMC=y

  CONFIG_FSL_ESDHC=y

  CONFIG_DM_SPI_FLASH=y

  CONFIG_SPI_FLASH=y

  CONFIG_SF_DEFAULT_MODE=0
  CONFIG_SF_DEFAULT_SPEED=20000000

  CONFIG_SPI_FLASH_STMICRO=y

  CONFIG_PHYLIB=y

  CONFIG_MII=y

  CONFIG_PCI=y

  CONFIG_DM_REGULATOR=y

  CONFIG_SPI=y

  CONFIG_DM_SPI=y

  CONFIG_MXC_SPI=y

  CONFIG_USB=y

  CONFIG_DM_USB=y
  # CONFIG_SPL_DM_USB is not set

  CONFIG_USB_GADGET=y

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

  CONFIG_CI_UDC=y

  CONFIG_USB_HOST_ETHER=y

  CONFIG_USB_ETHER_ASIX=y

  CONFIG_VIDEO=y

  # CONFIG_VIDEO_SW_CURSOR is not set