Explanation of ARM TrustZone Support?

[Torsten Frenzel]

Wesley Miaw(wesley at wesman.net)@2011.01.11 15:17:06 -0800:
> Hi,
> 
> I was wondering if someone could point me at documentation, or describe in
> a reply, how L4 Fiasco + L4Re makes use of the ARM TrustZone hardware? I
> see that support for TrustZone is listed listed as one of the features of
> Fiasco, but haven't been able to figure out exactly what that means.
>

A look at the following paper might help to get a better understanding
what we are TrustZone using for:

http://os.inf.tu-dresden.de/papers_ps/rtlws2010_armtrustzone.pdf

Torsten