Just a proof-of-concept for now. Interesting checks will come later. Signed-off-by: Gilles Peskine <Gilles.Peskine@arm.com>