64bit VMM support on Fiasco.OC

[Matthias Lange]

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