3 CONFIG_DEFAULT_DEVICE_TREE="sandbox"
4 CONFIG_ANDROID_BOOT_IMAGE=y
8 # CONFIG_CMD_BOOTD is not set
9 # CONFIG_CMD_BOOTM is not set
10 # CONFIG_CMD_ELF is not set
11 # CONFIG_CMD_EXTENSION is not set
13 # CONFIG_CMD_DATE is not set
16 CONFIG_SYS_RELOC_GD_ENV_ADDR=y
17 CONFIG_BOOTP_SEND_HOSTNAME=y
19 # CONFIG_ACPIGEN is not set
22 # CONFIG_UDP_FUNCTION_FASTBOOT is not set
29 # CONFIG_VIRTIO_MMIO is not set
30 # CONFIG_VIRTIO_PCI is not set
31 # CONFIG_VIRTIO_SANDBOX is not set
32 # CONFIG_EFI_LOADER is not set