Wesley Miaw(wesley@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