• Stars
    star
    5,888
  • Rank 6,563 (Top 0.2 %)
  • Language
    C
  • License
    Other
  • Created over 4 years ago
  • Updated about 2 months ago

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Xv6 for RISC-V
xv6 is a re-implementation of Dennis Ritchie's and Ken Thompson's Unix
Version 6 (v6).  xv6 loosely follows the structure and style of v6,
but is implemented for a modern RISC-V multiprocessor using ANSI C.

ACKNOWLEDGMENTS

xv6 is inspired by John Lions's Commentary on UNIX 6th Edition (Peer
to Peer Communications; ISBN: 1-57398-013-7; 1st edition (June 14,
2000)).  See also https://pdos.csail.mit.edu/6.1810/, which provides
pointers to on-line resources for v6.

The following people have made contributions: Russ Cox (context switching,
locking), Cliff Frey (MP), Xiao Yu (MP), Nickolai Zeldovich, and Austin
Clements.

We are also grateful for the bug reports and patches contributed by
Takahiro Aoyagi, Silas Boyd-Wickizer, Anton Burtsev, carlclone, Ian
Chen, Dan Cross, Cody Cutler, Mike CAT, Tej Chajed, Asami Doi,
eyalz800, Nelson Elhage, Saar Ettinger, Alice Ferrazzi, Nathaniel
Filardo, flespark, Peter Froehlich, Yakir Goaron, Shivam Handa, Matt
Harvey, Bryan Henry, jaichenhengjie, Jim Huang, Matúš Jókay, John
Jolly, Alexander Kapshuk, Anders Kaseorg, kehao95, Wolfgang Keller,
Jungwoo Kim, Jonathan Kimmitt, Eddie Kohler, Vadim Kolontsov, Austin
Liew, l0stman, Pavan Maddamsetti, Imbar Marinescu, Yandong Mao, Matan
Shabtay, Hitoshi Mitake, Carmi Merimovich, Mark Morrissey, mtasm, Joel
Nider, Hayato Ohhashi, OptimisticSide, Harry Porter, Greg Price, Jude
Rich, segfault, Ayan Shafqat, Eldar Sehayek, Yongming Shen, Fumiya
Shigemitsu, Cam Tenny, tyfkda, Warren Toomey, Stephen Tu, Rafael Ubal,
Amane Uehara, Pablo Ventura, Xi Wang, WaheedHafez, Keiichi Watanabe,
Nicolas Wolovick, wxdao, Grant Wu, Jindong Zhang, Icenowy Zheng,
ZhUyU1997, and Zou Chang Wei.


The code in the files that constitute xv6 is
Copyright 2006-2022 Frans Kaashoek, Robert Morris, and Russ Cox.

ERROR REPORTS

Please send errors and suggestions to Frans Kaashoek and Robert Morris
(kaashoek,[email protected]).  The main purpose of xv6 is as a teaching
operating system for MIT's 6.1810, so we are more interested in
simplifications and clarifications than new features.

BUILDING AND RUNNING XV6

You will need a RISC-V "newlib" tool chain from
https://github.com/riscv/riscv-gnu-toolchain, and qemu compiled for
riscv64-softmmu.  Once they are installed, and in your shell
search path, you can run "make qemu".

More Repositories

1

xv6-public

xv6 OS
C
7,277
star
2

noria

Fast web applications through dynamic, partially-stateful dataflow
Rust
4,927
star
3

biscuit

Biscuit research OS
Go
2,394
star
4

xv6-riscv-book

Text describing xv6 on RISC-V
TeX
538
star
5

RVirt

RISC-V hypervisor written in Rust
Rust
329
star
6

xv6-book

Commentary for xv6-public
Perl
235
star
7

fscq

FSCQ is a certified file system written and proven in Coq
Coq
231
star
8

xv6-riscv-fall19

6.S081/6.828 lab repo for fall 2019
C
191
star
9

perennial

Verifying concurrent crash-safe systems
Coq
129
star
10

6.828-qemu

qemu patched for debugging, used for 6.828
C
76
star
11

noria-ui

Web UI for Noria clusters
JavaScript
67
star
12

noria-mysql

MySQL/MariaDB protocol shim for Noria
Rust
66
star
13

go-journal

Verified, concurrent, crash-safe transaction system
Go
42
star
14

mcqc

A Gallina compiler with C++17 as an intermediate representation
Haskell
40
star
15

go-nfsd

Fast NFS server implemented using GoJournal
Go
34
star
16

ward

C++
29
star
17

daisy-nfsd

DaisyNFS is an NFS server verified using Dafny and Perennial.
Dafny
26
star
18

sigmaos

Go
23
star
19

scalefs

C
21
star
20

dsrg

Distributed Systems Reading Group
CSS
20
star
21

secfs-skeleton

Skeleton code for new 6.858 final project --- an encrypted and authenticated file system
Python
19
star
22

perflock

RWMutex for sharing of multicore machines.
C
15
star
23

6.826-2017-labs

Coq
13
star
24

vmvcc

Go
13
star
25

6.826-2020-labs

Lab assignments for 6.826
Coq
12
star
26

6.S060-labs

Programming labs for 6.S060 (Foundations of Computer Security).
Python
12
star
27

what

An improved version of `w`
Python
12
star
28

argosy

Proving crash safety for systems with layered recovery
Coq
11
star
29

cspec

Verifying concurrent code with layers and movers
Coq
11
star
30

6.826-2019-labs

Lab assignments for 6.826
Coq
10
star
31

syndicate

Syndicate multiplexes several distributed master-slave applications onto a single cluster of machines.
Go
9
star
32

gokv

Go
7
star
33

mailbot

Bot to send email notifications when pushing to GitHub
Shell
7
star
34

deepspec-pocs

Coq
6
star
35

6.1600-labs

Student lab assignments for MIT 6.1600
Python
6
star
36

spectrebench

C++
5
star
37

6.5660-lab-2023

Python
4
star
38

grove-artifact

Python
3
star
39

noria-benchmarks

Experiment scripts and results for Soup
Rust
3
star
40

6.1600-notes

TeX
3
star
41

perennial-examples

Examples verified using Perennial
Go
3
star
42

csail-events-slack

Simple Slack webhook for posting notifications about upcoming CSAIL seminars
Ruby
3
star
43

grove

Experiments in verifying distributed systems with Iris
2
star
44

new-students

Welcome for new PDOS students to get access to the organization
1
star