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