tree 9a5ddda903cb84d48caedbefa20327bece1474dc
parent 8fe253ae4abe8e5f3fb7436cedee09e1ec67cd8d
author Gilles Peskine <Gilles.Peskine@arm.com> 1565701909 +0200
committer Gilles Peskine <Gilles.Peskine@arm.com> 1565701909 +0200

SE keys: make psa_destroy_key remove the key from storage