MIT PDOS

icon indicating a website link https://pdos.csail.mit.edu

icon location Cambridge, MA icon location Parallel and Distributed Operating Systems group at MIT CSAIL

Results 23 repositories owned by MIT PDOS

perennial

133
Stars
32
Forks
Watchers

Verifying concurrent crash-safe systems

verified publisher icon mit-pdos

RVirt

324
Stars
31
Forks
Watchers

RISC-V hypervisor written in Rust

verified publisher icon mit-pdos

dsrg

20
Stars
1
Forks
Watchers

Distributed Systems Reading Group

verified publisher icon mit-pdos

perflock

15
Stars
1
Forks
Watchers

RWMutex for sharing of multicore machines.

verified publisher icon mit-pdos

scalefs

21
Stars
7
Forks
Watchers

verified publisher icon mit-pdos

ward

29
Stars
5
Forks
Watchers

verified publisher icon mit-pdos

xv6-book

233
Stars
66
Forks
Watchers

Commentary for xv6-public

verified publisher icon mit-pdos

xv6-public

7.2k
Stars
3.7k
Forks
Watchers

xv6 OS

verified publisher icon mit-pdos

xv6-riscv-book

527
Stars
117
Forks
Watchers

Text describing xv6 on RISC-V

verified publisher icon mit-pdos

xv6-riscv-fall19

191
Stars
343
Forks
Watchers

6.S081/6.828 lab repo for fall 2019

verified publisher icon mit-pdos