2 CONFIG_SYS_MALLOC_LEN=0x2000000
4 CONFIG_DEFAULT_DEVICE_TREE="sandbox"
5 CONFIG_SYS_LOAD_ADDR=0x0
6 CONFIG_ANDROID_BOOT_IMAGE=y
10 CONFIG_USE_BOOTCOMMAND=y
11 CONFIG_BOOTCOMMAND="run distro_bootcmd"
13 # CONFIG_CMD_BOOTD is not set
14 # CONFIG_CMD_BOOTM is not set
15 # CONFIG_CMD_ELF is not set
16 # CONFIG_CMD_EXTENSION is not set
17 # CONFIG_CMD_DATE is not set
19 CONFIG_SYS_RELOC_GD_ENV_ADDR=y
20 # CONFIG_NET is not set
21 # CONFIG_ACPIGEN is not set
22 CONFIG_SYS_SATA_MAX_DEVICE=2
33 # CONFIG_VIRTIO_MMIO is not set
34 # CONFIG_VIRTIO_PCI is not set
35 # CONFIG_VIRTIO_SANDBOX is not set
36 # CONFIG_GENERATE_ACPI_TABLE is not set
37 # CONFIG_EFI_LOADER is not set