64bit VMM support on Fiasco.OC

[Daniel Waddington]

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