Tags : Browse Projects

Muen is a Separation Kernel implemented in the SPARK programming language. It runs on the Intel x86/64 architecture employing hardware-assisted virtualization (VT-x and VT-d) as the fundamental separation mechanism. The goal of the Muen project is the development of a trustworthy open-source ... [More] foundation for component-based high-assurance systems. [Less]

rust-vmm is an open-source project that empowers the community to build custom Virtual Machine Monitors (VMMs) and hypervisors. It provides a set of virtualization components that any project can use to quickly develop virtualization solutions while focusing on the key differentiators of their ... [More] product rather than re-implementing common components like KVM wrappers, virtio devices and other VMM libraries. [Less]

It is a project to develop a VMM. By dividing memory (allocated to each VM) and CPU of the PC, and I/O, and by controlling them directly from an OS, the OS can be run independently, without a need to have host OS operable Hypervisor. The first goal was to have two working OSes in one PC. The ... [More] next goal was ability to restart each OS individually. To achieve these goals, v1.0 was released in January 2014. OSes supported: Linux, Windows, FreeBSD. It's based on BitVisor VMM (BSD license). Part of the standard library and AML interpreter have been ported from FreeBSD and NetBSD. Guest BIOS is based on SeaBIOS (GPL). [Less]