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 ------------------------------------------------------------------------------ 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
