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.

Legacy mirror of Darwin Kernel. Replaced by https://github.com/apple-oss-distributions/xnu

xv6 OS

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

http request/response parser for c

The seL4 microkernel

Adding support for the Rust language to the Linux kernel.

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