tree d4f8b74a3a48cb67eef7ffc6fa7847b34ed84a19
parent b4063890e87d401b4d46cc19a7e84fc44288d4c8
author Gilles Peskine <Gilles.Peskine@arm.com> 1564263113 +0200
committer Gilles Peskine <Gilles.Peskine@arm.com> 1568364925 +0200

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.