64bit VMM support on Fiasco.OC

[Matthias Lange]

Hi,

On 14.05.2013, at 17:38, Daniel Waddington wrote:

> My current understanding is that L4Linux is x86_32 only.  I am wondering
> what the best route to Linux virtualization on Fiasco.OC x86_64 is. Has
> anyone looked at porting the Karma VMM to Genode or looking at L4Linux
> 64bit support.  I can't easily move to NOVA.

Karma is not 64bit ready right now. Although it shouldn't be a big problem. I am not sure whether Fiasco.OC allows 64bit guests on a 32bit system.

Also note that Karma builds on top of the vCPU model. This has to be considered if you want to port Karma to Genode.

Matthias.