14 May
2013
14 May
'13
10:07 p.m.
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.