[Announcement] Karma VMM first public release
John van V.
john.van.v at gmail.com
Mon May 14 22:59:58 CEST 2012
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
<mlange at sec.t-labs.tu-berlin.de> wrote:
> We are happy to announce the first public release of the Karma Virtual
> Machine Monitor .
> Karma is a virtual machine monitor (VMM) that runs Linux in a virtual
> machine on top of the Fiasco.OC  microkernel. Its main design
> directives are speed and simplicity. Unlike KVM, VirtualBox or VMWare,
> Karma does no emulation, but resorts to aggressive paravirtualization
> and therefore has low complexity and shows superior performance for a
> number of benchmarks.
> Karma requires hardware assisted CPU virtualization. A feature that is
> available on all recent x86 CPUs (SVM or VT). Optionally, it can make
> use of hardware assisted memory virtualization (Nested Paging or ePT),
> if available.
> The Karma VMM is currently being used as a research vehicle at
> Technische Universität Berlin and Technische Universität Dresden.
> It main features are:
> - Trustworthy isolation of virtual machines by means of the microkernel.
> VMM compromise does no harm to other virtual machines as one instance
> of Karma runs exactly one virtual machine.
> - Clean, tiny code base, less than 9000 source lines of code.
> - Near native (guest)-Linux performance.
> - Supports:
> * SMP
> * Networking
> * Direct harddisk access via AHCI
> * RTC and Hpet support
> Karma is released under the terms of the Gnu General Public License
> Version 2.
>  http://karma-vmm.org
>  http://os.int.tu-dresden.de/fiasco
>  http://www.isti.tu-berlin.de/security_in_telecommunications
>  http://os.inf.tu-dresden.de
> Dipl.-Inf. Matthias Lange <mlange at sec.t-labs.tu-berlin.de>
> Security in Telecommunications
> TU Berlin / Telekom Innovation Laboratories
> Ernst-Reuter-Platz 7, 10587 Berlin
> Phone: +49 - 30 - 8353 58 553
> Mobile: +49 - 160 - 587 28 07
> Web: http://www.t-labs.tu-berlin.de/sect
> l4-hackers mailing list
> l4-hackers at os.inf.tu-dresden.de
More information about the l4-hackers