| 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 |
