tree e163f8066e25194da8ddf1708c0ecd7e6f1b7f29
parent d0a4dc887e74002e5e34dc066eb590eb272031e5
author Gilles Peskine <Gilles.Peskine@arm.com> 1587657026 +0200
committer Gilles Peskine <Gilles.Peskine@arm.com> 1690314875 +0200

Demo scripts: create a seedfile if the configuration requires it

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