Explanation of ARM TrustZone Support?

Michael Roitzsch mroi at os.inf.tu-dresden.de
Wed Jan 12 10:48:40 CET 2011

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:


More information about the l4-hackers mailing list