tree 3fb444e055f85dd0e51eb5bde1bce5b62c44d583
parent 8908c5e81c8bf2f109feef843bc2981de2f86cca
author Gilles Peskine <Gilles.Peskine@arm.com> 1565168385 +0200
committer Gilles Peskine <Gilles.Peskine@arm.com> 1565168385 +0200

Correct some comments