tree 7c0b8211cb42ac502237b73d40f6108a87dc4517
parent 48d71f2aa469a6bb8ef63e2922c1ad46a6004cf4
author Gilles Peskine <Gilles.Peskine@arm.com> 1605796686 +0100
committer Gilles Peskine <Gilles.Peskine@arm.com> 1607356912 +0100

Minor clarifications

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