64bit VMM support on Fiasco.OC

Daniel Waddington waddy16925 at ...9...
Tue May 14 17:38:30 CEST 2013


Hi,
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.

Daniel







More information about the users mailing list