tree eb43a78ba986bc12a5c57bb83360c91d195bfc5d
parent 42a025dc9cc26e5f185e3edf6811268c7702a30c
author Gilles Peskine <Gilles.Peskine@arm.com> 1705492705 +0100
committer Gilles Peskine <Gilles.Peskine@arm.com> 1705492705 +0100

Resolve several open questions as nothing special to do

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