1CONFIG_SYS_TEXT_BASE=0
2CONFIG_ENV_SIZE=0x2000
3CONFIG_DEFAULT_DEVICE_TREE="sandbox"
4CONFIG_ANDROID_BOOT_IMAGE=y
5CONFIG_FIT=y
6CONFIG_FIT_SIGNATURE=y
7CONFIG_MISC_INIT_F=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
12CONFIG_BOOTP_DNS2=y
13# CONFIG_CMD_DATE is not set
14CONFIG_OF_CONTROL=y
15CONFIG_OF_HOSTFILE=y
16CONFIG_SYS_RELOC_GD_ENV_ADDR=y
17CONFIG_BOOTP_SEND_HOSTNAME=y
18CONFIG_IP_DEFRAG=y
19# CONFIG_ACPIGEN is not set
20CONFIG_AXI=y
21CONFIG_AXI_SANDBOX=y
22# CONFIG_UDP_FUNCTION_FASTBOOT is not set
23CONFIG_SANDBOX_GPIO=y
24CONFIG_PCI=y
25CONFIG_DM_PCI=y
26CONFIG_PCI_SANDBOX=y
27CONFIG_DM_RTC=y
28CONFIG_SOUND=y
29CONFIG_SYSRESET=y
30# CONFIG_VIRTIO_MMIO is not set
31# CONFIG_VIRTIO_PCI is not set
32# CONFIG_VIRTIO_SANDBOX is not set
33# CONFIG_EFI_LOADER is not set
34