Trustzone & Fiasco.OC

Stefan Kalkowski <[email protected]>
Newsgroups gmane.comp.micro-kernel.l4.devel
Message-ID <[email protected]>
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

_______________________________________________
l4-hackers mailing list
[email protected]
http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers
lmpx.com only provides a reader for public news (NNTP) servers. It is not affiliated with the servers or forums shown here and is not responsible for the content of articles, which is written by their respective authors.