CONFIG_SYS_TEXT_BASE=0 | |
CONFIG_ENV_SIZE=0x2000 | |
CONFIG_DEFAULT_DEVICE_TREE="sandbox" | |
CONFIG_ANDROID_BOOT_IMAGE=y | |
CONFIG_FIT=y | |
CONFIG_FIT_SIGNATURE=y | |
CONFIG_MISC_INIT_F=y | |
# CONFIG_CMD_BOOTD is not set | |
# CONFIG_CMD_BOOTM is not set | |
# CONFIG_CMD_ELF is not set | |
# CONFIG_CMD_EXTENSION is not set | |
CONFIG_BOOTP_DNS2=y | |
# CONFIG_CMD_DATE is not set | |
CONFIG_OF_CONTROL=y | |
CONFIG_OF_HOSTFILE=y | |
CONFIG_SYS_RELOC_GD_ENV_ADDR=y | |
CONFIG_BOOTP_SEND_HOSTNAME=y | |
CONFIG_IP_DEFRAG=y | |
# CONFIG_ACPIGEN is not set | |
CONFIG_AXI=y | |
CONFIG_AXI_SANDBOX=y | |
# CONFIG_UDP_FUNCTION_FASTBOOT is not set | |
CONFIG_SANDBOX_GPIO=y | |
CONFIG_PCI=y | |
CONFIG_PCI_SANDBOX=y | |
CONFIG_DM_RTC=y | |
CONFIG_SOUND=y | |
CONFIG_SYSRESET=y | |
# CONFIG_VIRTIO_MMIO is not set | |
# CONFIG_VIRTIO_PCI is not set | |
# CONFIG_VIRTIO_SANDBOX is not set | |
# CONFIG_EFI_LOADER is not set |