2018-12-07 19:00:41 -05:00
|
|
|
CONFIG_SYS_TEXT_BASE=0
|
2019-11-18 20:02:10 -05:00
|
|
|
CONFIG_ENV_SIZE=0x2000
|
2020-07-28 08:46:52 -04:00
|
|
|
CONFIG_DEFAULT_DEVICE_TREE="sandbox"
|
2018-12-07 19:00:41 -05:00
|
|
|
CONFIG_ANDROID_BOOT_IMAGE=y
|
|
|
|
CONFIG_FIT=y
|
|
|
|
CONFIG_FIT_SIGNATURE=y
|
2021-03-26 16:17:30 +13:00
|
|
|
CONFIG_MISC_INIT_F=y
|
2018-12-07 19:00:41 -05:00
|
|
|
# CONFIG_CMD_BOOTD is not set
|
|
|
|
# CONFIG_CMD_BOOTM is not set
|
|
|
|
# CONFIG_CMD_ELF is not set
|
2021-05-04 19:31:22 +02:00
|
|
|
# CONFIG_CMD_EXTENSION is not set
|
2020-06-16 19:06:17 -04:00
|
|
|
CONFIG_BOOTP_DNS2=y
|
2018-12-07 19:00:41 -05:00
|
|
|
# CONFIG_CMD_DATE is not set
|
|
|
|
CONFIG_OF_CONTROL=y
|
|
|
|
CONFIG_OF_HOSTFILE=y
|
2019-11-12 22:46:36 -05:00
|
|
|
CONFIG_SYS_RELOC_GD_ENV_ADDR=y
|
2020-07-03 09:00:14 -05:00
|
|
|
CONFIG_BOOTP_SEND_HOSTNAME=y
|
2019-06-11 04:51:14 +02:00
|
|
|
CONFIG_IP_DEFRAG=y
|
2020-04-28 16:15:47 -04:00
|
|
|
# CONFIG_ACPIGEN is not set
|
2019-12-06 21:41:57 -07:00
|
|
|
CONFIG_AXI=y
|
|
|
|
CONFIG_AXI_SANDBOX=y
|
2020-01-22 13:38:00 -05:00
|
|
|
# CONFIG_UDP_FUNCTION_FASTBOOT is not set
|
2018-12-07 19:00:41 -05:00
|
|
|
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
|