tree 4b12e19905365b5ada3cf1f5605711be252cd173
parent d86bc52d7875bd538fe703ea406a53217dda7b48
author Gilles Peskine <Gilles.Peskine@arm.com> 1615985219 +0100
committer Gilles Peskine <Gilles.Peskine@arm.com> 1615985219 +0100

Fix typos in comments

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