xv6-public

xv6 OS

xv6-riscv

Xv6 for RISC-V

noria

Fast web applications through dynamic, partially-stateful dataflow

biscuit

Biscuit research OS

xv6-riscv-book

Text describing xv6 on RISC-V

RVirt

RISC-V hypervisor written in Rust

xv6-book

Commentary for xv6-public

fscq

FSCQ is a certified file system written and proven in Coq

xv6-riscv-fall19

6.S081/6.828 lab repo for fall 2019

perennial

Verifying concurrent crash-safe systems

sigmaos

6.828-qemu

qemu patched for debugging, used for 6.828