152 Commits

Author	SHA1	Message	Date
Gilles Peskine	53d41ae872	Implement the 'full' and 'baremetal' configurations ... Also fix 'realfull' to only affect the appropriate sections. Tested to produce the same results as config.pl on the default configuration. This commit deliberately contains a direct copy the lists of symbol names from config.pl.	2019-09-13 10:55:25 +02:00
Gilles Peskine	b4063890e8	Mbed TLS configuration file manipulation library and tool ... This is meant to be a drop-in replacement for config.pl which can additionally be used as a library in a Python script. So far this script supports the commands 'get', 'set' and 'realfull' but not the other built-in configurations.	2019-09-13 10:49:20 +02:00