Thus spake Norman Feske norman.fe...@genode-labs.com:
Dear L4 hackers,
for those of you who enjoy reading experience reports, we have put
together an article that describes our work with enabling the Genode OS
Framework on the Pandaboard using the Fiasco.OC kernel:
Thus spake OSDepend osdep...@gmail.com:
Hi Matthias,
You may have a look at the Karma VMM (www.karma-vmm.org).
Matthias.
That helps me a lot. Karma is a new VMM on microkernel which looks much like
L4Linux in my opinion! Is it now supporting java enviroment like nova?
I think you got
On Mon, 26 Nov 2012 11:52:29 +0800
OSDepend osdep...@gmail.com wrote:
Hi Adam,
I want to know why we build L4Linux here on L4? Is there any
benefit comparing to pure Linux? It's not mandatory but it's an
option, giving access to device drivers, one can run all sorts of
Linux programs,
Hello,
I was trying to run Linux inside a Vancouver virtual machine and using a
virtual disk.
But, I got an error when Linux kernel try to mount the root file system.
I tested the Linux kernel and the virtual disk image using Qemu and it
worked well.
I was also able to start the same Linux
Hi Julian,
we conducted extensive performance optimizations in order to reach an
I/O performance that is roughly on par with native Linux. The article
describes those steps in detail.
This is amazing! Can you estimate how many man-months you needed to get
this done?
thanks. :-)
We have
