ARMV7 virtualization extensions support

Karoline Haus karolinehaus at
Thu Sep 26 15:53:57 CEST 2013

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.

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>

More information about the l4-hackers mailing list