Trustzone & Fiasco.OC

[Stefan Kalkowski]

Hello l4-hackers,

I'd like to investigate the VM functionality for ARM's TrustZone in
Fiasco.OC. I've read the paper of Torsten Frenzel et al. which covers
experiments done with ARM TrustZone in Fiasco as a virtualization
technique. In that paper they reference a VMM controlling the "normal
world" VM(s), but unfortunately I cannot find it in the L4Re or L4Env tree.

Is it publicly available, and if so could you please direct me to the
right place?

Thank you in advance & best regards
Stefan

-- 
Stefan Kalkowski
Genode Labs

http://www.genode-labs.com/ · http://genode.org/

Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden
Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth