tree 998d7368b09a2bf4f453a6c7f2ad1898e8e3b8c3
parent da69eaa366743eb60b945e4a0c4411d4e58b551e
author Gilles Peskine <Gilles.Peskine@arm.com> 1693940852 +0200
committer Gilles Peskine <Gilles.Peskine@arm.com> 1693941035 +0200

Fix some TLS 1.3 settings that were required in mbedtls_config.h

Mbed TLS can be configured by writing a configuration file from scratch,
without copying mbedtls_config.h. As a consequence, all the macro
definitions in mbedtls_config.h must be optional. This was not the case for
some MBEDTLS_SSL_TLS1_3_xxx macros with numerical values related to session
tickets. Fix that.

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