tree 2e02fe6a5c1fae37e04321e357b6f38fb731ee6a
parent ef64e7fb3b01a2bfc316ec0577c97d62a048409c
author Gilles Peskine <Gilles.Peskine@arm.com> 1627938843 +0200
committer Thomas Daubney <> 1633958956 +0100

Clarify some comments

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