tree 00538dcf18d177ef6f56b8025957bd5ee1a136ae
parent defbb6b3b05b94b4a4549c934bcea4811f635167
author Gilles Peskine <Gilles.Peskine@arm.com> 1731945095 +0100
committer Gilles Peskine <Gilles.Peskine@arm.com> 1731953984 +0100

Clarify some descriptions

Change-Id: I3177c468eeec3f1de49d6e2d71889c36acf202bc