tree 37d12c991ef138f3a53a61399131d4857a24012b
parent 198024cd020f2251d7f6320a17c5bec825df9c39
author Gilles Peskine <Gilles.Peskine@arm.com> 1605533712 +0100
committer Gilles Peskine <Gilles.Peskine@arm.com> 1605533712 +0100

Improve explanations around config_psa.h

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