tree 9bb411916392d178a10d0cf429190c22012d466a
parent d1b5f6f6099f097a4464751c4d38b09ebfdb36cd
author Gilles Peskine <Gilles.Peskine@arm.com> 1587657026 +0200
committer Gilles Peskine <Gilles.Peskine@arm.com> 1690306599 +0200

Demo scripts: create a seedfile if the configuration requires it

Signed-off-by: Gilles Peskine <Gilles.Peskine@arm.com>