tree a1f11aceae4b6055d8b684822b0d9021a1ba5418
parent 77d44573cb2439f8054d91a4a10aef43abd07aae
author Gilles Peskine <Gilles.Peskine@arm.com> 1570456670 +0200
committer Gilles Peskine <Gilles.Peskine@arm.com> 1570456670 +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.