tree 29c6d50d5956ea67c8f5fc8c9f99eaca8e6290ef
parent 528343513c9e16cd0ee5f086122ab8924cec66e2
author Gilles Peskine <Gilles.Peskine@arm.com> 1647447048 +0100
committer Gilles Peskine <Gilles.Peskine@arm.com> 1649937260 +0200

Support alternative MBEDTLS_PSA_CRYPTO_CONFIG_FILE

When MBEDTLS_PSA_CRYPTO_CONFIG is enabled, support an alternative file to
include instead of "psa/crypto_config.h", and an additional file to include
after it. This follows the model of the existing MBEDTLS_{,USER_}CONFIG_FILE.

Signed-off-by: Gilles Peskine <Gilles.Peskine@arm.com>