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 ------------------------------------------------------------------------------ AlienVault Unified Security Management (USM) platform delivers complete security visibility with the essential security capabilities. Easily and efficiently configure, manage, and operate all of your security controls from a single console and one unified framework. Download a free trial. http://p.sf.net/sfu/alienvault_d2d _______________________________________________ Genode-main mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/genode-main
