On 15.05.2013, at 01:52, Daniel Waddington wrote:
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?
I think it would be an effort required for like a bachelor thesis (= 4 months). I would suggest an iterative approach
1. Make Karma 64bit safe on 64bit L4Re 2. Paravirtualize the Linux kernel for x86_64. This should be fairly straightforward as most of the code base of the paravirtualization is for virtual drivers. 3. Port Karma to Genode
Genode supports enabling vcpu mode for a thread (I think) and also getting native fiasco capabilities etc.
Very good!
Best, Matthias.
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
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