Trustzone & Fiasco.OC

Stefan Kalkowski stefan.kalkowski at
Fri Mar 23 11:23:07 CET 2012

Hello Wes,

thank you for your reply. I'm in excited expectation looking forward the
release of it.


On 22.03.2012 21:02, Wesley Miaw wrote:
> Hi Stefan,
> I continued some of the work related to this and have provided a tarball
> back to Adam L. containing an example TrustZone implementation for the ARM
> Versatile Express board with some documentation. My tarball includes
> patches to Linux to communicate between the two worlds.
> It is not fully tested or fully functional. But Adam has the tarball and
> hopefully it will get properly integrated into the main tree at some
> point.
> Later,
> Wes
> On Thu, March 22, 2012 09:20, Stefan Kalkowski wrote:
>> 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?
> _______________________________________________
> l4-hackers mailing list
> l4-hackers at

Stefan Kalkowski
Genode Labs ·

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

More information about the l4-hackers mailing list