Hi Steffen,
thank you for the elaborate reply! The text you have just written would
fit pretty well on karma-vmm.org, doesn't it?. .-)
> As far as I know, Afterburner also runs OS kernels on top of a
> microkernel on platforms that are not virtualizable. Hereby the guest
> kernel binary is modifi
Hi Norman, L4 Hackers,
let me try to clarify what Karma is by giving an very short overview on
L4Linux, Afterburner and Vancouver.
L4Linux is a port of the Linux kernel to the microkernel API. In this
setup Linux runs in its own address space as an L4 task. Its
applications also reside in L4 task
Hello,
congratulations for getting Karma out of the door finally. :-)
The project looks very interesting. However, I think it would be
sensible of you to contrast your approach with existing projects, in
particular L4Linux, Afterburner, and Vancouver. This way, potential
users would gain a better
On Mon, 2012-05-14 at 17:59 -0300, John van V. wrote:
> Why not just let go of the linux and run posix w/ gcc? And make a
> windows-friendly driver conversion kit?
Can you elaborate on that?
Julian
___
l4-hackers mailing list
l4-hackers@os.inf.tu-d
Why not just let go of the linux and run posix w/ gcc? And make a
windows-friendly driver conversion kit?
On Mon, May 14, 2012 at 6:44 AM, Matthias Lange
wrote:
> We are happy to announce the first public release of the Karma Virtual
> Machine Monitor [0].
>
> Karma is a virtual machine monitor
We are happy to announce the first public release of the Karma Virtual
Machine Monitor [0].
Karma is a virtual machine monitor (VMM) that runs Linux in a virtual
machine on top of the Fiasco.OC [1] microkernel. Its main design
directives are speed and simplicity. Unlike KVM, VirtualBox or VMWare,
