ARMV7 virtualization extensions support

Adam Lackorzynski adam at
Tue Oct 1 00:33:49 CEST 2013

On Thu Sep 26, 2013 at 14:53:57 +0100, Karoline Haus wrote:
> 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? 

It is not yet supported...

Adam                 adam at

More information about the l4-hackers mailing list