tree f4560da6e5f4198379df8d3980c3dd26490e5409
parent bd43f67a9b5b401eb3946f95504e6925d3798199
author Gilles Peskine <Gilles.Peskine@arm.com> 1617976011 +0200
committer Gilles Peskine <Gilles.Peskine@arm.com> 1617976011 +0200

Clarify some comments

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