tree e9aa78ff788e4a7297446e0fe6f9c9b7168a3808
parent f13fdf8a80e3361a01134021e4e104168a8fc326
author Gilles Peskine <Gilles.Peskine@arm.com> 1722433066 +0200
committer Gilles Peskine <Gilles.Peskine@arm.com> 1722433066 +0200

Miscellaneous clarifications

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