Hi Matthias,
I want to run either 32bit or 64bit Linux on Fiasco.OC 64bit. What are the pieces missing from Karma to do this? How much work do you think it is? Genode supports enabling vcpu mode for a thread (I think) and also getting native fiasco capabilities etc.
Daniel
On Tue, 2013-05-14 at 22:07 +0200, Matthias Lange wrote:
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