tree 9c33f97b1b4991c7343635590f30565ade263556
parent bf26bef157773ed9ce7913629b6c0f6daaf94c5b
author Gilles Peskine <Gilles.Peskine@arm.com> 1623089755 +0200
committer Gilles Peskine <Gilles.Peskine@arm.com> 1623708868 +0200

Give examples of PLATFORM_XXX_ALT

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