tree 43bb7c3d06f6ebd8297b86bb34447d9f6a1e1297
parent 80b39ae753e3126da94298d1d27c182d0c766195
author Gilles Peskine <Gilles.Peskine@arm.com> 1557929475 +0200
committer Gilles Peskine <Gilles.Peskine@arm.com> 1557940445 +0200

Replace psa_make_key_persistent by id/lifetime setters

Use individual setters for the id and lifetime fields of an attribute
structure, like the other attributes.

This commit updates the specification and adds an implementation of
the new setters.