blob: a853abf2b8fc0b9ba36f208a3969f4d5004051f1 [file] [log] [blame]
Otavio Salvador80870e22018-12-07 19:00:41 -05001CONFIG_SYS_TEXT_BASE=0
Tom Rinia09fea12019-11-18 20:02:10 -05002CONFIG_ENV_SIZE=0x2000
Tom Rinif7d0ae92020-07-28 08:46:52 -04003CONFIG_DEFAULT_DEVICE_TREE="sandbox"
Otavio Salvador80870e22018-12-07 19:00:41 -05004CONFIG_ANDROID_BOOT_IMAGE=y
5CONFIG_FIT=y
6CONFIG_FIT_SIGNATURE=y
7# CONFIG_CMD_BOOTD is not set
8# CONFIG_CMD_BOOTM is not set
9# CONFIG_CMD_ELF is not set
Tom Rinie2dce7a2020-06-16 19:06:17 -040010CONFIG_BOOTP_DNS2=y
Otavio Salvador80870e22018-12-07 19:00:41 -050011# CONFIG_CMD_DATE is not set
12CONFIG_OF_CONTROL=y
13CONFIG_OF_HOSTFILE=y
Tom Rini8d8ee472019-11-12 22:46:36 -050014CONFIG_SYS_RELOC_GD_ENV_ADDR=y
Adam Ford3275f262020-07-03 09:00:14 -050015CONFIG_BOOTP_SEND_HOSTNAME=y
Marek Vasut3f6bcdf2019-06-11 04:51:14 +020016CONFIG_IP_DEFRAG=y
Tom Rini556fd592020-04-28 16:15:47 -040017# CONFIG_ACPIGEN is not set
Simon Glass3e17ffb2019-12-06 21:41:57 -070018CONFIG_AXI=y
19CONFIG_AXI_SANDBOX=y
Tom Rini052170c2020-01-22 13:38:00 -050020# CONFIG_UDP_FUNCTION_FASTBOOT is not set
Otavio Salvador80870e22018-12-07 19:00:41 -050021CONFIG_SANDBOX_GPIO=y
Otavio Salvador80870e22018-12-07 19:00:41 -050022CONFIG_PCI=y
23CONFIG_DM_PCI=y
24CONFIG_PCI_SANDBOX=y
25CONFIG_DM_RTC=y
26CONFIG_SOUND=y
27CONFIG_SYSRESET=y
28# CONFIG_VIRTIO_MMIO is not set
29# CONFIG_VIRTIO_PCI is not set
30# CONFIG_VIRTIO_SANDBOX is not set
31# CONFIG_EFI_LOADER is not set