| CONFIG_TEXT_BASE=0 |
| CONFIG_SYS_MALLOC_LEN=0x2000000 |
| CONFIG_ENV_SIZE=0x2000 |
| CONFIG_DEFAULT_DEVICE_TREE="sandbox" |
| CONFIG_SYS_LOAD_ADDR=0x0 |
| CONFIG_PCI=y |
| CONFIG_SANDBOX_SDL=n |
| CONFIG_EFI_LOADER=n |
| CONFIG_ANDROID_BOOT_IMAGE=y |
| CONFIG_TIMESTAMP=y |
| CONFIG_FIT=y |
| CONFIG_FIT_SIGNATURE=y |
| CONFIG_BOOTSTD_FULL=n |
| CONFIG_BOOTMETH_CROS=n |
| CONFIG_BOOTMETH_VBE=n |
| CONFIG_USE_BOOTCOMMAND=y |
| CONFIG_BOOTCOMMAND="run distro_bootcmd" |
| CONFIG_CMD_BOOTD=n |
| CONFIG_CMD_BOOTM=n |
| CONFIG_CMD_BOOTI=n |
| CONFIG_CMD_ELF=n |
| CONFIG_CMD_EXTENSION=n |
| CONFIG_CMD_DATE=n |
| CONFIG_OF_CONTROL=y |
| CONFIG_SYS_RELOC_GD_ENV_ADDR=y |
| CONFIG_NET=n |
| CONFIG_ACPIGEN=n |
| CONFIG_AXI=y |
| CONFIG_AXI_SANDBOX=y |
| CONFIG_SANDBOX_GPIO=y |
| CONFIG_PCI_SANDBOX=y |
| CONFIG_DM_RTC=y |
| CONFIG_SOUND=y |
| CONFIG_SYSRESET=y |
| CONFIG_TIMER=y |
| CONFIG_VIRTIO_MMIO=n |
| CONFIG_VIRTIO_PCI=n |
| CONFIG_VIRTIO_SANDBOX=n |
| CONFIG_GENERATE_ACPI_TABLE=n |
| CONFIG_TOOLS_MKEFICAPSULE=y |