ARMV7 virtualization extensions support

[Karoline Haus]

Good afternoon,

I'd like to understand if the Fiasco kernel already supports ARM's virtualization extensions (like it supports VT-x and AMD-V), and if not, is that something you are working on? 

Many thanks for any pointers.

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