153 Commits

Author	SHA1	Message	Date
Gilles Peskine	6c2d078935	Remove obsolete options from config.py ... These options haven't existed for a long time.	2019-09-13 10:56:03 +02:00
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