blob: 6ca50dc5fd327aea493853723cd679537cb566d3 [file] [log] [blame]
Otavio Salvadore2fa4ca2018-12-07 19:00:41 -05001CONFIG_SYS_TEXT_BASE=0
Tom Rini5cd7ece2019-11-18 20:02:10 -05002CONFIG_ENV_SIZE=0x2000
Otavio Salvadore2fa4ca2018-12-07 19:00:41 -05003CONFIG_ANDROID_BOOT_IMAGE=y
4CONFIG_FIT=y
5CONFIG_FIT_SIGNATURE=y
6# CONFIG_CMD_BOOTD is not set
7# CONFIG_CMD_BOOTM is not set
8# CONFIG_CMD_ELF is not set
9# CONFIG_CMD_DATE is not set
10CONFIG_OF_CONTROL=y
11CONFIG_OF_HOSTFILE=y
12CONFIG_DEFAULT_DEVICE_TREE="sandbox"
Tom Rinica63e712019-11-12 22:46:36 -050013CONFIG_SYS_RELOC_GD_ENV_ADDR=y
Marek Vasuta61efd82019-06-11 04:51:14 +020014CONFIG_IP_DEFRAG=y
Simon Glass937bb472019-12-06 21:41:57 -070015CONFIG_AXI=y
16CONFIG_AXI_SANDBOX=y
Tom Rinif6e6e1a2020-01-22 13:38:00 -050017# CONFIG_UDP_FUNCTION_FASTBOOT is not set
Otavio Salvadore2fa4ca2018-12-07 19:00:41 -050018CONFIG_SANDBOX_GPIO=y
Otavio Salvadore2fa4ca2018-12-07 19:00:41 -050019CONFIG_PCI=y
20CONFIG_DM_PCI=y
21CONFIG_PCI_SANDBOX=y
22CONFIG_DM_RTC=y
23CONFIG_SOUND=y
24CONFIG_SYSRESET=y
25# CONFIG_VIRTIO_MMIO is not set
26# CONFIG_VIRTIO_PCI is not set
27# CONFIG_VIRTIO_SANDBOX is not set
28# CONFIG_EFI_LOADER is not set