A flexible distributed key-value datastore that is optimized for caching and other realtime workloads.

Xv6 for RISC-V

The seL4 microkernel

Adding support for the Rust language to the Linux kernel.

Box86 - Linux Userspace x86 Emulator with a twist, targeted at ARM Linux devices

Linux kernel source tree

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.

An open-source Unix operating system

RISC-V Open Source Supervisor Binary Interface

An implementation of a small TCP/IP protocol stack for learning.

A minimal kvm example

Examples for: Learning KVM - implement your own kernel

A toy operating system which supports NVDIMM natively.

Linux Kernel exploitation Tutorial.

NES Emulator written in Rust

Kernel Test Framework

Port XV6 to K210 board!

64bit port of xv6

xv6 OS with TCP/IP Network Stack

Fast and lightweight yet another UEFI implementation

Xvisor: eXtensible Versatile hypervISOR

Solution to MIT 6.828 Fall19, with lab report at https://blog.mky.moe/mit6828/menu/

A simple type-1 hypervisor on Raspberry Pi 3 (aarch64)

xv6 porting to GAIA architecture

Xen with GPUs

A PC Emulator on WebBrowser

Kernel Test Framework