tree 849078f343fa1272c9b92460c387d78b71220e71
parent 2e0f388d2afcaaa171c996ab3301e3cbb52ff85d
author Gilles Peskine <Gilles.Peskine@arm.com> 1564056278 +0200
committer Gilles Peskine <Gilles.Peskine@arm.com> 1564056278 +0200

Improve documentation of SE driver persistent state

Explain what it can be used for and when it is saved to storage.