Hi!
I've read your paper about TrustZone and I'd like to test Genode on the secure side of an architecture with TrustZone on Qemu (I've found on the web a TrustZone QEMU).
How can I do it? 
Thank you!
Mauro