Stars
Official QEMU mirror. Please see https://www.qemu.org/contribute/ for how to submit changes to QEMU. Pull Requests are disabled. Please only use release tarballs from the QEMU website.
A next-generation cloud native kernel designed to unlock best-in-class performance, security primitives and efficiency savings.
Checked C is an extension to C that lets programmers write C code with bounds checking and improved type-safety. The goal is to let people easily make their existing C code type-safe and eliminate …
A kernel designed to run one and only one application in a virtualized environment
SimpleVisor is a simple, portable, Intel VT-x hypervisor with two specific goals: using the least amount of assembly code (10 lines), and having the smallest amount of VMX-related code to support d…
A portable microkernel-based multiserver operating system written from scratch.
A simple yet fast user space network driver for Intel 10 Gbit/s NICs written from scratch
A UNIX-style Operating System for the Waikato RISC Architecture Microprocessor (WRAMP)
A series of blog posts and talks about the world of containers 📦
A guide for emulating macOS arm64e on an x86-based host.
Simple unix-like operating system for education and research purposes
FlexOS: Towards Flexible OS Isolation (ASPLOS'22) Artifact Evaluation Repository