tree 93733b9aa0ab9b5815e735871b42184f05215ac5
parent 3d4ea5490f6004cbf1ad7a03280a6a5ff5c69351
author Gilles Peskine <Gilles.Peskine@arm.com> 1669827104 +0100
committer Gilles Peskine <Gilles.Peskine@arm.com> 1669827104 +0100

Add a bit of documentation

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