CONFIG_SYS_TEXT_BASE=0

  CONFIG_ENV_SIZE=0x2000

  CONFIG_ANDROID_BOOT_IMAGE=y
  CONFIG_FIT=y
  CONFIG_FIT_SIGNATURE=y
  # CONFIG_CMD_BOOTD is not set
  # CONFIG_CMD_BOOTM is not set
  # CONFIG_CMD_ELF is not set
  # CONFIG_CMD_DATE is not set
  CONFIG_OF_CONTROL=y
  CONFIG_OF_HOSTFILE=y
  CONFIG_DEFAULT_DEVICE_TREE="sandbox"

  CONFIG_SYS_RELOC_GD_ENV_ADDR=y

  CONFIG_IP_DEFRAG=y

  CONFIG_AXI=y
  CONFIG_AXI_SANDBOX=y

  # CONFIG_UDP_FUNCTION_FASTBOOT is not set

  CONFIG_SANDBOX_GPIO=y

  CONFIG_PCI=y
  CONFIG_DM_PCI=y
  CONFIG_PCI_SANDBOX=y
  CONFIG_DM_RTC=y
  CONFIG_SOUND=y
  CONFIG_SYSRESET=y
  # CONFIG_VIRTIO_MMIO is not set
  # CONFIG_VIRTIO_PCI is not set
  # CONFIG_VIRTIO_SANDBOX is not set
  # CONFIG_EFI_LOADER is not set