tree f00ee7d3fb4ad5b2d7bc0573b19b0afda638ac9f
parent 62da8ac37ac1c16cb98c919c957418615f9bec35
author Gilles Peskine <Gilles.Peskine@arm.com> 1623093866 +0200
committer Gilles Peskine <Gilles.Peskine@arm.com> 1623093866 +0200

Document more precisely what goes into the default profile

Signed-off-by: Gilles Peskine <Gilles.Peskine@arm.com>