CONFIG_ARM=y
  CONFIG_ARCH_MX7=y
  CONFIG_IMX_TRUSTY_OS=y
  CONFIG_SYS_TEXT_BASE=0x87800000
  CONFIG_TARGET_PICO_IMX7D=y
  CONFIG_ARMV7_BOOT_SEC_DEFAULT=y
  CONFIG_IMX_RDC=y

  CONFIG_BOOTDELAY=3

  CONFIG_EFI_PARTITION=y
  # CONFIG_CONSOLE_MUX is not set
  CONFIG_SYS_CONSOLE_IS_IN_ENV=y
  CONFIG_ENV_IS_IN_MMC=y
  CONFIG_ANDROID_BOOT_IMAGE=y
  CONFIG_VIDEO=y
  CONFIG_BOARD_EARLY_INIT_F=y
  CONFIG_SYS_EXTRA_OPTIONS="IMX_CONFIG=board/technexion/pico-imx7d/imximage_512mb.cfg,ANDROID_THINGS_SUPPORT,DDR_MB=512,ARMV7_NONSEC"
  CONFIG_HUSH_PARSER=y
  # CONFIG_CMD_BOOTD is not set
  CONFIG_CMD_BOOTZ=y

  # CONFIG_CMD_XIMG is not set
  CONFIG_CMD_GPIO=y
  CONFIG_CMD_I2C=y
  CONFIG_CMD_MMC=y
  CONFIG_CMD_PART=y
  CONFIG_CMD_USB=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_USB=y
  CONFIG_USB_STORAGE=y
  CONFIG_OF_LIBFDT=y

  CONFIG_AVB_SUPPORT=y

  CONFIG_AVB_ATX=y

  CONFIG_USE_STDINT=y

  CONFIG_LIB_RAND=y

  CONFIG_CMD_UUID=y