tree dbc4212123333033827eed6350d23f638f862b47
parent 8b424397b9a47e796bf7230a72527cd4587f37e9
author Gilles Peskine <Gilles.Peskine@arm.com> 1570456670 +0200
committer Gilles Peskine <Gilles.Peskine@arm.com> 1570540765 +0200

config.pl full: exclude MBEDTLS_CTR_DRBG_USE_128_BIT_KEY

This is a variant toggle, not an extra feature, so it should be tested
separately.