tree 2c2aed9c328a186ad21e16e85dbac6efcbe963fb
parent 52bb83e6ad178ca0f8f68ecdcff6acbd002160a0
author Gilles Peskine <Gilles.Peskine@arm.com> 1623100910 +0200
committer Gilles Peskine <Gilles.Peskine@arm.com> 1624449236 +0200

Hopefully clarify the example

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