3 Commits

Author	SHA1	Message	Date
Gilles Peskine	f6f5ea21b5	Remove obsolete options from config.py ... These options haven't existed for a long time.	2019-11-13 14:32:04 +00:00
Gilles Peskine	61f3c0ce85	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-11-13 14:32:04 +00:00
Gilles Peskine	39bd5e7f9e	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-11-13 14:32:04 +00:00