123456789101112131415161718192021222324252627282930313233343536373839 |
- CONFIG_TEXT_BASE=0
- CONFIG_SYS_MALLOC_LEN=0x2000000
- CONFIG_ENV_SIZE=0x2000
- CONFIG_DEFAULT_DEVICE_TREE="sandbox"
- CONFIG_SYS_LOAD_ADDR=0x0
- CONFIG_PCI=y
- # CONFIG_SANDBOX_SDL is not set
- CONFIG_ANDROID_BOOT_IMAGE=y
- CONFIG_FIT=y
- CONFIG_TIMESTAMP=y
- CONFIG_FIT_SIGNATURE=y
- # CONFIG_BOOTSTD_FULL is not set
- # CONFIG_BOOTMETH_CROS is not set
- # CONFIG_BOOTMETH_VBE is not set
- CONFIG_USE_BOOTCOMMAND=y
- CONFIG_BOOTCOMMAND="run distro_bootcmd"
- # 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_CMD_DATE is not set
- CONFIG_OF_CONTROL=y
- CONFIG_SYS_RELOC_GD_ENV_ADDR=y
- # CONFIG_NET is not set
- # CONFIG_ACPIGEN is not set
- CONFIG_AXI=y
- CONFIG_AXI_SANDBOX=y
- CONFIG_SANDBOX_GPIO=y
- CONFIG_PCI_SANDBOX=y
- CONFIG_DM_RTC=y
- CONFIG_SOUND=y
- CONFIG_SYSRESET=y
- CONFIG_TIMER=y
- # CONFIG_VIRTIO_MMIO is not set
- # CONFIG_VIRTIO_PCI is not set
- # CONFIG_VIRTIO_SANDBOX is not set
- # CONFIG_GENERATE_ACPI_TABLE is not set
- # CONFIG_EFI_LOADER is not set
- CONFIG_TOOLS_MKEFICAPSULE=y
|