blob: 381b16959ddd53131ce568d3e5f18dc71789e9ee [file] [log] [blame]
Otavio Salvadore2fa4ca2018-12-07 19:00:41 -05001CONFIG_SYS_TEXT_BASE=0
2CONFIG_ANDROID_BOOT_IMAGE=y
3CONFIG_FIT=y
4CONFIG_FIT_SIGNATURE=y
5# CONFIG_CMD_BOOTD is not set
6# CONFIG_CMD_BOOTM is not set
7# CONFIG_CMD_ELF is not set
8# CONFIG_CMD_DATE is not set
9CONFIG_OF_CONTROL=y
10CONFIG_OF_HOSTFILE=y
11CONFIG_DEFAULT_DEVICE_TREE="sandbox"
Tom Rinica63e712019-11-12 22:46:36 -050012CONFIG_SYS_RELOC_GD_ENV_ADDR=y
Marek Vasuta61efd82019-06-11 04:51:14 +020013CONFIG_IP_DEFRAG=y
Otavio Salvadore2fa4ca2018-12-07 19:00:41 -050014# CONFIG_UDP_FUNCTION_FASTBOOT is not set
15CONFIG_SANDBOX_GPIO=y
Otavio Salvadore2fa4ca2018-12-07 19:00:41 -050016CONFIG_PCI=y
17CONFIG_DM_PCI=y
18CONFIG_PCI_SANDBOX=y
19CONFIG_DM_RTC=y
20CONFIG_SOUND=y
21CONFIG_SYSRESET=y
22# CONFIG_VIRTIO_MMIO is not set
23# CONFIG_VIRTIO_PCI is not set
24# CONFIG_VIRTIO_SANDBOX is not set
25# CONFIG_EFI_LOADER is not set