tree 861b1ee3b78087d22c3006a1faefeebdeaee7c24
parent 35675b6b26c222105b5d1c8be7532bf982eab3f6
author Gilles Peskine <Gilles.Peskine@arm.com> 1558020663 +0200
committer Gilles Peskine <Gilles.Peskine@arm.com> 1558025725 +0200

Rename "generator" to "operation"

Generators are now key derivation operations.

Keep "random generator" intact.