1*80870e2aSOtavio SalvadorCONFIG_SYS_TEXT_BASE=0 2*80870e2aSOtavio SalvadorCONFIG_ANDROID_BOOT_IMAGE=y 3*80870e2aSOtavio SalvadorCONFIG_FIT=y 4*80870e2aSOtavio SalvadorCONFIG_FIT_SIGNATURE=y 5*80870e2aSOtavio Salvador# CONFIG_CMD_BOOTD is not set 6*80870e2aSOtavio Salvador# CONFIG_CMD_BOOTM is not set 7*80870e2aSOtavio Salvador# CONFIG_CMD_ELF is not set 8*80870e2aSOtavio Salvador# CONFIG_CMD_DATE is not set 9*80870e2aSOtavio SalvadorCONFIG_OF_CONTROL=y 10*80870e2aSOtavio SalvadorCONFIG_OF_HOSTFILE=y 11*80870e2aSOtavio SalvadorCONFIG_DEFAULT_DEVICE_TREE="sandbox" 12*80870e2aSOtavio Salvador# CONFIG_UDP_FUNCTION_FASTBOOT is not set 13*80870e2aSOtavio SalvadorCONFIG_SANDBOX_GPIO=y 14*80870e2aSOtavio SalvadorCONFIG_DM_I2C_COMPAT=y 15*80870e2aSOtavio SalvadorCONFIG_PCI=y 16*80870e2aSOtavio SalvadorCONFIG_DM_PCI=y 17*80870e2aSOtavio SalvadorCONFIG_PCI_SANDBOX=y 18*80870e2aSOtavio SalvadorCONFIG_DM_RTC=y 19*80870e2aSOtavio SalvadorCONFIG_SOUND=y 20*80870e2aSOtavio SalvadorCONFIG_SYSRESET=y 21*80870e2aSOtavio Salvador# CONFIG_VIRTIO_MMIO is not set 22*80870e2aSOtavio Salvador# CONFIG_VIRTIO_PCI is not set 23*80870e2aSOtavio Salvador# CONFIG_VIRTIO_SANDBOX is not set 24*80870e2aSOtavio Salvador# CONFIG_EFI_LOADER is not set 25