Hi, 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.
Daniel
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.
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
Hi Daniel,
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.
there are currently no such plans from our side at Genode Labs. For enabling L4Linux on 64-bit. The best way forward would be to get in touch with the L4Linux maintainer Adam Lackorzynski who might be willing to help out with the heavy-lifting for L4Linux/x64 (on L4Re though). Once it runs on L4Re, it would be relatively easy to use L4Linux on Genode too, thanks to our L4Re emulation library that we employ for running L4Linux on Genode.
Just for the record, let me add that the Vancouver VMM on NOVA does not support 64-bit guests either.
Best regards Norman
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
Hi there.
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?
Just my opinion: If someone would start to port a L4Linux of top of 64 Fiasc.OC, it's better to port a L4Linux to Genode. it's about the same effort, but more useful, because currently L4Linux in Genode do not have full functionality related to hardware access. Moreover L4Linux in Genode uses a fiasco.oc' calls, so, L4linux depends on kernel.
On Tue, 14 May 2013 08:38:30 -0700 Daniel Waddington (DW) wrote:
DW> I can't easily move to NOVA.
Out of curiosity - why not? Is it because of porting effort or are there any technical barriers?
Cheers, Udo
Hi Udo,
Really its because of porting effort and also that we need a solution that can be transferred to ARM.
Best Daniel
On Wed, 2013-05-15 at 17:25 +0200, Udo Steinberg wrote:
On Tue, 14 May 2013 08:38:30 -0700 Daniel Waddington (DW) wrote:
DW> I can't easily move to NOVA.
Out of curiosity - why not? Is it because of porting effort or are there any technical barriers?
Cheers, Udo
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
-
Daniel Waddington -
Matthias Lange -
Norman Feske -
Sartakov A. Vasily -
Udo Steinberg