mmisono

akari

VMM-based macOS Native Container Runtime

coco-serverless

Run serverless workloads with Knative on Confidential Containers

doctor-cluster-config

The servers configurations of https://dse.in.tum.de/

texpresso

TeXpresso: live rendering and error reporting for LaTeX

gunyah-hypervisor

Gunyah is a Type-1 hypervisor designed for strong security, performance and modularity.

asterinas

Asterinas is a secure, fast, and general-purpose OS kernel, written in Rust and providing Linux-compatible ABI.

bpftop

bpftop provides a dynamic real-time view of running eBPF programs. It displays the average runtime, events per second, and estimated total CPU % for each program.

qiling

A True Instrumentable Binary Emulation Framework

cve-2023-20573-poc

gramine-tdx

A library OS for Linux multi-process applications, with Intel TDX support (experimental)

virtualbox-kvm

KVM Backend for VirtualBox. With our current development model, we cannot easily accept pull requests here. If you'd like to contribute, feel free to reach out to us, we are happy to find a solution.

mushroom

Run integrity protected workloads in a hardware based Trusted Execution Environment.

Quark

A secure container runtime with CRI/OCI interface

exmap

vmcache

Hello-VT-rp

A simple hypervisor demonstrating the use of the Intel VT-rp (redirect protection) technology.

virtme-ng

Quickly build and run kernels inside a virtualized snapshot of your live system

toyvmm

ToyVMM is a project being developed for the purpose of learning virtualization technology

unikraft_9p_measure

Custom benchmarks for measuring standard FS operations. Can be used both on Unikraft and Linux.

qapi-rs

QEMU QMP and Guest Agent protocol for Rust

virtiofs_unikraft

Unikraft fork that contains the virtiofs shared file-system implementation. (Bachelor's Thesis)

hermitage

What are the differences between the transaction isolation levels in databases? This is a suite of test cases which differentiate isolation levels.

DuVisor

snapchange

Lightweight fuzzing of a memory snapshot using KVM

monza

Research unikernel for virtualized services

UTM

Virtual machines for iOS and macOS

aero

Aero is a new modern, experimental, UNIX-like operating system following the monolithic kernel design. Supporting modern PC features such as long mode, 5-level paging, and SMP (multicore), to name a few.

svsm

COCONUT-SVSM

ELISA

ELISA: Exit-Less, Isolated, and Shared Access for Virtual Machines

unikernel-papers