Re: [Announcement] Karma VMM first public release

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
<[email protected]> wrote:
> 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,
> 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.
>
> [0] http://karma-vmm.org
> [1] http://os.int.tu-dresden.de/fiasco
> [2] http://www.isti.tu-berlin.de/security_in_telecommunications
> [3] http://os.inf.tu-dresden.de
>
>
> --
> Dipl.-Inf. Matthias Lange <[email protected]>
> 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
> [email protected]
> http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers