commit a8ade16ffd4e8466be75a03fbec4e98cb4db479f
author Gilles Peskine <Gilles.Peskine@arm.com> Wed Jun 26 11:24:49 2019 +0200
committer Gilles Peskine <Gilles.Peskine@arm.com> Wed Jun 26 20:01:35 2019 +0200
tree 8e6b2e3fc9b7cf97f41af062e26a99e851da852d
parent c93a43bed677d21cde1bc6072db77d97c8e091b4

Gate secure element support by a separate config option

Secure element support has its own source file, and in addition
requires many hooks in other files. This is a nontrivial amount of
code, so make it optional (but default on).

library/version_features.c

diff --git a/library/version_features.c b/library/version_features.c
index 4f1da6a..5701598 100644
--- a/library/version_features.c
+++ b/library/version_features.c
@@ -555,6 +555,9 @@
 #if defined(MBEDTLS_PSA_CRYPTO_C)
     "MBEDTLS_PSA_CRYPTO_C",
 #endif /* MBEDTLS_PSA_CRYPTO_C */
+#if defined(MBEDTLS_PSA_CRYPTO_SE_C)
+    "MBEDTLS_PSA_CRYPTO_SE_C",
+#endif /* MBEDTLS_PSA_CRYPTO_SE_C */
 #if defined(MBEDTLS_PSA_CRYPTO_STORAGE_C)
     "MBEDTLS_PSA_CRYPTO_STORAGE_C",
 #endif /* MBEDTLS_PSA_CRYPTO_STORAGE_C */