Fiasco support for ARM trustzone extensions

[Rosenberry, Robert D.]

Hello,

Which platforms are known to work with the ARM trustzone extensions for virtualization using the Fiasco kernel?   Suggestions for preferred development boards would be appreciated.

Rob


-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://os.inf.tu-dresden.de/pipermail/l4-hackers/attachments/20100805/4fa12c6c/attachment.html>