Official QEMU mirror. Please see https://www.qemu.org/contribute/ for how to submit changes to QEMU. Pull Requests are ignored. Please only use release tarballs from the QEMU website.

xv6 OS

Unicorn CPU emulator framework (ARM, AArch64, M68K, Mips, Sparc, PowerPC, RiscV, S390x, TriCore, X86)

The seL4 microkernel

Data Plane Development Kit

The Fast Lexical Analyzer - scanner generator for lexing in C and C++

Library providing helpers for the Linux kernel io_uring support

Official MINIX sources - Automatically replicated from gerrit.minix3.org

Source code of a multiple series of tutorials about the hypervisor. Available at: https://rayanfam.com/tutorials

Learning Software Engineering 🐢

system call hook for Linux

This is a set of simple programs that can be used to explore the features of a parallel platform.

A binary-compatible unikernel

A simple vector library for C that can store any type.

A minimalist type 2 hypervisor using Linux Kernel Virtual Machine (KVM)

The chip8 compiler, assembler, and virtual machine

PolyBench/C benchmark suite (version 4.2.1 beta) from http://web.cse.ohio-state.edu/~pouchet/software/polybench/

bypass system calls using BPF

TCP and TLS performance testing tool.

Cart nAnosim gPpd (CAP) Benchmark suite for manycore processors

Virtual machine interpreter for the Lox programming language written in C

Tomasulo's algorithm simulator implemented in C.

I wrote an OS to print the donut

Legacy Version of the Nanvix Operating System