tree 8ef44fc393538370ab519dd99db9ebc081d8e7dc
parent 750596e6d660a4044ca6d5536b2966932e212331
author Gilles Peskine <Gilles.Peskine@arm.com> 1647447048 +0100
committer Gilles Peskine <Gilles.Peskine@arm.com> 1649360422 +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>