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. ------------------------------------------------------------------------------ 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 Genode-main@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/genode-main
