tree 6b795fb8a5b536cbc7bcd16dba1d6df8f7b688af
parent d9348f218e708dc99a300f624f4c1ccea0949109
author Gilles Peskine <Gilles.Peskine@arm.com> 1569937302 +0200
committer Gilles Peskine <Gilles.Peskine@arm.com> 1569937302 +0200

SE driver: save the persistent data after calling p_init