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