tree e861d90653207845ade5af0789cedbe1f1cf5f86
parent 0aad5f8f34bb6a6ecf2e30c6d01dde4c77944e30
author Gilles Peskine <Gilles.Peskine@arm.com> 1706817000 +0100
committer Gilles Peskine <Gilles.Peskine@arm.com> 1706817184 +0100

Copypasta

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