diff --git a/scripts/config.pl b/scripts/config.pl index 0e113991ff..d9bbf8c7b4 100755 --- a/scripts/config.pl +++ b/scripts/config.pl @@ -39,6 +39,7 @@ # MBEDTLS_PKCS11_C # MBEDTLS_PSA_CRYPTO_SPM # MBEDTLS_PSA_INJECT_ENTROPY +# MBEDTLS_ECP_RESTARTABLE # and any symbol beginning _ALT # @@ -102,6 +103,7 @@ MBEDTLS_NO_UDBL_DIVISION MBEDTLS_NO_64BIT_MULTIPLICATION MBEDTLS_PSA_CRYPTO_SPM MBEDTLS_PSA_INJECT_ENTROPY +MBEDTLS_ECP_RESTARTABLE _ALT\s*$ );