1# auto-generated TEE configuration file 2# TEE version 3.16.0 3set(CFG_AES_GCM_TABLE_BASED y) 4set(CFG_ARM32_ta_arm32 y) 5set(CFG_ARM64_core y) 6set(CFG_ARM64_ldelf y) 7set(CFG_ARM64_ta_arm64 y) 8set(CFG_ARM_GICV3 y) 9# CFG_BOOT_SECONDARY_REQUEST is not set 10set(CFG_CC_OPT_LEVEL s) 11set(CFG_COMPAT_GP10_DES y) 12set(CFG_CORE_ARM64_PA_BITS 32) 13set(CFG_CORE_ASLR y) 14# CFG_CORE_ASYNC_NOTIF is not set 15set(CFG_CORE_ASYNC_NOTIF_GIC_INTID 0) 16# CFG_CORE_BGET_BESTFIT is not set 17set(CFG_CORE_BIGNUM_MAX_BITS 4096) 18# CFG_CORE_BTI is not set 19set(CFG_CORE_CLUSTER_SHIFT 2) 20# CFG_CORE_DEBUG_CHECK_STACKS is not set 21# CFG_CORE_DUMP_OOM is not set 22set(CFG_CORE_DYN_SHM y) 23set(CFG_CORE_HEAP_SIZE 65536) 24set(CFG_CORE_HUK_SUBKEY_COMPAT y) 25# CFG_CORE_HUK_SUBKEY_COMPAT_USE_OTP_DIE_ID is not set 26# CFG_CORE_LARGE_PHYS_ADDR is not set 27set(CFG_CORE_MAX_SYSCALL_RECURSION 4) 28set(CFG_CORE_MBEDTLS_MPI y) 29set(CFG_CORE_NEX_HEAP_SIZE 16384) 30# CFG_CORE_PAGE_TAG_AND_IV is not set 31set(CFG_CORE_RESERVED_SHM y) 32# CFG_CORE_RODATA_NOEXEC is not set 33set(CFG_CORE_RWDATA_NOEXEC y) 34# CFG_CORE_SANITIZE_KADDRESS is not set 35# CFG_CORE_SANITIZE_UNDEFINED is not set 36set(CFG_CORE_THREAD_SHIFT 0) 37# CFG_CORE_TPM_EVENT_LOG is not set 38set(CFG_CORE_TZSRAM_EMUL_SIZE 458752) 39set(CFG_CORE_UNMAP_CORE_AT_EL0 y) 40set(CFG_CORE_WORKAROUND_NSITR_CACHE_PRIME y) 41set(CFG_CORE_WORKAROUND_SPECTRE_BP y) 42set(CFG_CORE_WORKAROUND_SPECTRE_BP_SEC y) 43set(CFG_CRYPTO y) 44set(CFG_CRYPTOLIB_DIR core/lib/libtomcrypt) 45set(CFG_CRYPTOLIB_NAME tomcrypt) 46set(CFG_CRYPTOLIB_NAME_tomcrypt y) 47set(CFG_CRYPTO_AES y) 48# CFG_CRYPTO_AES_GCM_FROM_CRYPTOLIB is not set 49set(CFG_CRYPTO_CBC y) 50set(CFG_CRYPTO_CBC_MAC y) 51set(CFG_CRYPTO_CBC_MAC_BUNDLE_BLOCKS 64) 52set(CFG_CRYPTO_CCM y) 53set(CFG_CRYPTO_CMAC y) 54set(CFG_CRYPTO_CONCAT_KDF y) 55set(CFG_CRYPTO_CTR y) 56set(CFG_CRYPTO_CTS y) 57set(CFG_CRYPTO_DES y) 58set(CFG_CRYPTO_DH y) 59set(CFG_CRYPTO_DSA y) 60set(CFG_CRYPTO_ECB y) 61set(CFG_CRYPTO_ECC y) 62set(CFG_CRYPTO_GCM y) 63set(CFG_CRYPTO_HKDF y) 64set(CFG_CRYPTO_HMAC y) 65set(CFG_CRYPTO_MD5 y) 66set(CFG_CRYPTO_PBKDF2 y) 67set(CFG_CRYPTO_RSA y) 68set(CFG_CRYPTO_RSASSA_NA1 y) 69set(CFG_CRYPTO_SHA1 y) 70set(CFG_CRYPTO_SHA224 y) 71set(CFG_CRYPTO_SHA256 y) 72set(CFG_CRYPTO_SHA384 y) 73set(CFG_CRYPTO_SHA512 y) 74set(CFG_CRYPTO_SHA512_256 y) 75set(CFG_CRYPTO_SIZE_OPTIMIZATION y) 76set(CFG_CRYPTO_SM2_DSA y) 77set(CFG_CRYPTO_SM2_KEP y) 78set(CFG_CRYPTO_SM2_PKE y) 79set(CFG_CRYPTO_SM3 y) 80set(CFG_CRYPTO_SM4 y) 81set(CFG_CRYPTO_XTS y) 82set(CFG_DEBUG_INFO y) 83set(CFG_DEVICE_ENUM_PTA y) 84# CFG_DRIVERS_CLK is not set 85# CFG_DRIVERS_CLK_DT is not set 86# CFG_DRIVERS_CLK_FIXED is not set 87# CFG_DRIVERS_RSTCTRL is not set 88set(CFG_DT y) 89set(CFG_DTB_MAX_SIZE 0x100000) 90set(CFG_EARLY_TA y) 91set(CFG_EARLY_TA_COMPRESS y) 92set(CFG_EMBEDDED_TS y) 93# CFG_EMBED_DTB is not set 94set(CFG_ENABLE_EMBEDDED_TESTS y) 95# CFG_ENABLE_SCTLR_RR is not set 96# CFG_ENABLE_SCTLR_Z is not set 97# CFG_EXTERNAL_DTB_OVERLAY is not set 98set(CFG_FTRACE_BUF_WHEN_FULL shift) 99# CFG_FTRACE_SUPPORT is not set 100set(CFG_FTRACE_US_MS 10000) 101# CFG_GENERATE_DTB_OVERLAY is not set 102set(CFG_GIC y) 103set(CFG_GP_SOCKETS y) 104# CFG_HWRNG_PTA is not set 105set(CFG_HWSUPP_MEM_PERM_PXN y) 106set(CFG_HWSUPP_MEM_PERM_WXN y) 107set(CFG_IN_TREE_EARLY_TAS trusted_keys/f04a0fe7-1f5d-4b9b-abf7-619b85b4ce8c) 108set(CFG_KERN_LINKER_ARCH aarch64) 109set(CFG_KERN_LINKER_FORMAT elf64-littleaarch64) 110set(CFG_LIBUTILS_WITH_ISOC y) 111# CFG_LOCKDEP is not set 112set(CFG_LOCKDEP_RECORD_STACK y) 113set(CFG_LPAE_ADDR_SPACE_BITS 32) 114set(CFG_MMAP_REGIONS 13) 115set(CFG_MSG_LONG_PREFIX_MASK 0x1a) 116set(CFG_NUM_THREADS 2) 117set(CFG_OPTEE_REVISION_MAJOR 3) 118set(CFG_OPTEE_REVISION_MINOR 16) 119set(CFG_OS_REV_REPORTS_GIT_SHA1 y) 120# CFG_PAGED_USER_TA is not set 121set(CFG_PKCS11_TA_ALLOW_DIGEST_KEY y) 122set(CFG_PKCS11_TA_AUTH_TEE_IDENTITY y) 123set(CFG_PKCS11_TA_HEAP_SIZE (32 * 1024)) 124set(CFG_PKCS11_TA_TOKEN_COUNT 3) 125set(CFG_PL011 y) 126set(CFG_PREALLOC_RPC_CACHE y) 127set(CFG_REE_FS y) 128# CFG_REE_FS_ALLOW_RESET is not set 129set(CFG_REE_FS_TA y) 130# CFG_REE_FS_TA_BUFFERED is not set 131set(CFG_RESERVED_VASPACE_SIZE (1024 * 1024 * 10)) 132# CFG_RPMB_FS is not set 133set(CFG_RPMB_FS_CACHE_ENTRIES 0) 134# CFG_RPMB_FS_DEBUG_DATA is not set 135set(CFG_RPMB_FS_DEV_ID 0) 136set(CFG_RPMB_FS_RD_ENTRIES 8) 137# CFG_RPMB_RESET_FAT is not set 138# CFG_RPMB_TESTKEY is not set 139# CFG_RPMB_WRITE_KEY is not set 140# CFG_SCMI_MSG_CLOCK is not set 141# CFG_SCMI_MSG_DRIVERS is not set 142# CFG_SCMI_MSG_RESET_DOMAIN is not set 143# CFG_SCMI_MSG_SMT is not set 144# CFG_SCMI_MSG_VOLTAGE_DOMAIN is not set 145# CFG_SCMI_PTA is not set 146# CFG_SCTLR_ALIGNMENT_CHECK is not set 147set(CFG_SECSTOR_TA y) 148set(CFG_SECSTOR_TA_MGMT_PTA y) 149# CFG_SECURE_DATA_PATH is not set 150# CFG_SECURE_PARTITION is not set 151set(CFG_SECURE_TIME_SOURCE_CNTPCT y) 152set(CFG_SHMEM_SIZE 0x00200000) 153set(CFG_SHMEM_START 0x42000000) 154# CFG_SHOW_CONF_ON_BOOT is not set 155set(CFG_SM_NO_CYCLE_COUNTING y) 156set(CFG_STACK_THREAD_EXTRA 0) 157set(CFG_STACK_TMP_EXTRA 0) 158# CFG_SYSCALL_FTRACE is not set 159# CFG_SYSCALL_WRAPPERS_MCOUNT is not set 160set(CFG_SYSTEM_PTA y) 161set(CFG_TA_ASLR y) 162set(CFG_TA_ASLR_MAX_OFFSET_PAGES 128) 163set(CFG_TA_ASLR_MIN_OFFSET_PAGES 0) 164set(CFG_TA_BGET_TEST y) 165set(CFG_TA_BIGNUM_MAX_BITS 2048) 166# CFG_TA_BTI is not set 167set(CFG_TA_FLOAT_SUPPORT y) 168# CFG_TA_GPROF_SUPPORT is not set 169set(CFG_TA_MBEDTLS y) 170set(CFG_TA_MBEDTLS_MPI y) 171set(CFG_TA_MBEDTLS_SELF_TEST y) 172set(CFG_TA_STRICT_ANNOTATION_CHECKS y) 173set(CFG_TEE_API_VERSION GPD-1.1-dev) 174# CFG_TEE_BENCHMARK is not set 175set(CFG_TEE_CORE_DEBUG y) 176set(CFG_TEE_CORE_EMBED_INTERNAL_TESTS y) 177set(CFG_TEE_CORE_LOG_LEVEL 3) 178# CFG_TEE_CORE_MALLOC_DEBUG is not set 179set(CFG_TEE_CORE_NB_CORE 4) 180set(CFG_TEE_CORE_TA_TRACE y) 181set(CFG_TEE_FW_IMPL_VERSION FW_IMPL_UNDEF) 182set(CFG_TEE_FW_MANUFACTURER FW_MAN_UNDEF) 183set(CFG_TEE_IMPL_DESCR OPTEE) 184set(CFG_TEE_MANUFACTURER LINARO) 185set(CFG_TEE_SDP_MEM_SIZE 0x00400000) 186set(CFG_TEE_TA_LOG_LEVEL 1) 187# CFG_TEE_TA_MALLOC_DEBUG is not set 188set(CFG_TZDRAM_SIZE 0x00f00000) 189set(CFG_TZDRAM_START 0x0e100000) 190# CFG_ULIBS_MCOUNT is not set 191# CFG_ULIBS_SHARED is not set 192set(CFG_UNWIND y) 193# CFG_VIRTUALIZATION is not set 194set(CFG_WARN_DECL_AFTER_STATEMENT y) 195set(CFG_WARN_INSECURE y) 196set(CFG_WITH_ARM_TRUSTED_FW y) 197set(CFG_WITH_LPAE y) 198# CFG_WITH_PAGER is not set 199set(CFG_WITH_SOFTWARE_PRNG y) 200set(CFG_WITH_STACK_CANARIES y) 201set(CFG_WITH_STATS y) 202# CFG_WITH_STMM_SP is not set 203set(CFG_WITH_USER_TA y) 204set(CFG_WITH_VFP y) 205set(CFG_ZLIB y) 206set(PLATFORM_FLAVOR qemu_armv8a) 207set(PLATFORM_FLAVOR_qemu_armv8a y) 208set(PLATFORM_vexpress y) 209set(_CFG_CORE_LTC_ACIPHER y) 210set(_CFG_CORE_LTC_AES y) 211# _CFG_CORE_LTC_AES_ACCEL is not set 212set(_CFG_CORE_LTC_AES_DESC y) 213set(_CFG_CORE_LTC_ASN1 y) 214set(_CFG_CORE_LTC_AUTHENC y) 215set(_CFG_CORE_LTC_BIGNUM_MAX_BITS 4096) 216set(_CFG_CORE_LTC_CBC y) 217set(_CFG_CORE_LTC_CBC_MAC y) 218set(_CFG_CORE_LTC_CCM y) 219# _CFG_CORE_LTC_CE is not set 220set(_CFG_CORE_LTC_CIPHER y) 221set(_CFG_CORE_LTC_CMAC y) 222set(_CFG_CORE_LTC_CTR y) 223set(_CFG_CORE_LTC_CTS y) 224set(_CFG_CORE_LTC_DES y) 225set(_CFG_CORE_LTC_DH y) 226set(_CFG_CORE_LTC_DSA y) 227set(_CFG_CORE_LTC_ECB y) 228set(_CFG_CORE_LTC_ECC y) 229set(_CFG_CORE_LTC_HASH y) 230set(_CFG_CORE_LTC_HMAC y) 231# _CFG_CORE_LTC_HWSUPP_PMULL is not set 232set(_CFG_CORE_LTC_MAC y) 233set(_CFG_CORE_LTC_MD5 y) 234set(_CFG_CORE_LTC_MPI y) 235set(_CFG_CORE_LTC_OPTEE_THREAD y) 236# _CFG_CORE_LTC_PAGER is not set 237set(_CFG_CORE_LTC_RSA y) 238set(_CFG_CORE_LTC_SHA1 y) 239# _CFG_CORE_LTC_SHA1_ACCEL is not set 240set(_CFG_CORE_LTC_SHA224 y) 241set(_CFG_CORE_LTC_SHA256 y) 242# _CFG_CORE_LTC_SHA256_ACCEL is not set 243set(_CFG_CORE_LTC_SHA256_DESC y) 244set(_CFG_CORE_LTC_SHA384 y) 245set(_CFG_CORE_LTC_SHA384_DESC y) 246set(_CFG_CORE_LTC_SHA512 y) 247set(_CFG_CORE_LTC_SHA512_256 y) 248set(_CFG_CORE_LTC_SHA512_DESC y) 249set(_CFG_CORE_LTC_SIZE_OPTIMIZATION y) 250set(_CFG_CORE_LTC_SM2_DSA y) 251set(_CFG_CORE_LTC_SM2_KEP y) 252set(_CFG_CORE_LTC_SM2_PKE y) 253set(_CFG_CORE_LTC_VFP y) 254set(_CFG_CORE_LTC_XTS y) 255set(_CFG_FTRACE_BUF_WHEN_FULL_shift y) 256# _CFG_USE_DTB_OVERLAY is not set 257set(_CFG_WITH_SECURE_STORAGE y) 258