3 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_AVB_BUF_ADDR=0x0
11 CONFIG_AVB_BUF_SIZE=0x8192
12 # CONFIG_CMD_BOOTD is not set
13 # CONFIG_CMD_BOOTM is not set
14 # CONFIG_CMD_ELF is not set
15 # CONFIG_CMD_EXTENSION is not set
17 # CONFIG_CMD_DATE is not set
19 CONFIG_SYS_RELOC_GD_ENV_ADDR=y
20 CONFIG_BOOTP_SEND_HOSTNAME=y
22 # CONFIG_ACPIGEN is not set
25 # CONFIG_UDP_FUNCTION_FASTBOOT is not set
32 # CONFIG_VIRTIO_MMIO is not set
33 # CONFIG_VIRTIO_PCI is not set
34 # CONFIG_VIRTIO_SANDBOX is not set
35 CONFIG_EFI_CAPSULE_ON_DISK=y
36 CONFIG_EFI_CAPSULE_FIRMWARE_FIT=y
37 CONFIG_EFI_CAPSULE_FIRMWARE_RAW=y
38 CONFIG_EFI_CAPSULE_AUTHENTICATE=y