| CONFIG_SYS_MALLOC_LEN=0x2000000 |
| CONFIG_DEFAULT_DEVICE_TREE="sandbox" |
| # CONFIG_SANDBOX_SDL is not set |
| CONFIG_ANDROID_BOOT_IMAGE=y |
| # CONFIG_BOOTSTD_FULL is not set |
| # CONFIG_BOOTMETH_CROS is not set |
| # CONFIG_BOOTMETH_VBE is not set |
| CONFIG_BOOTCOMMAND="run distro_bootcmd" |
| # CONFIG_CMD_BOOTD is not set |
| # CONFIG_CMD_BOOTM is not set |
| # CONFIG_CMD_BOOTI is not set |
| # CONFIG_CMD_ELF is not set |
| # CONFIG_CMD_EXTENSION is not set |
| # CONFIG_CMD_DATE is not set |
| CONFIG_SYS_RELOC_GD_ENV_ADDR=y |
| # CONFIG_ACPIGEN is not set |
| # CONFIG_VIRTIO_MMIO is not set |
| # CONFIG_VIRTIO_PCI is not set |
| # CONFIG_VIRTIO_SANDBOX is not set |
| # CONFIG_GENERATE_ACPI_TABLE is not set |
| # CONFIG_EFI_LOADER is not set |
| CONFIG_TOOLS_MKEFICAPSULE=y |