tree ff2e2e51899bfa1fbc638c599947fdc91dc1348f
parent 568f53a9d8734f8dc28f2a9c8fe86ef5267df0af
author Gilles Peskine <Gilles.Peskine@arm.com> 1627938843 +0200
committer Gilles Peskine <Gilles.Peskine@arm.com> 1627939662 +0200

Clarify some comments

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