Hi Wesley,
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.
We use TrustZone for virtualisation. We developed this within an EU project called TECOM. You can find an introduction on what we did here: http://www.tecom-project.eu/downloads/deliverables2009/TECOM-D02.6-First-ini...
Michael