CS161 / chickadee
Chickadee OS for Harvard CS 161
☆95Updated 3 months ago
Alternatives and similar repositories for chickadee:
Users that are interested in chickadee are comparing it to the libraries listed below
- POSIX-like scalable multicore research OS kernel☆191Updated 5 years ago
- SquirrelFS: A crash-consistent Rust file system for persistent memory (OSDI 24)☆57Updated this week
- Kernel created for 15-410 Operating Systems class at Carnegie Mellon☆14Updated 9 years ago
- Mirror of the official Barrelfish OS repository.☆194Updated 2 years ago
- A compiler for a tiny (but growing!) subset of C, written in OCaml.☆288Updated 2 years ago
- CS 360V Virtualization, Fall 2020, UT Austin CS Dept. Instructor: Vijay Chidambaram. Copyright held by Vijay Chidambaram and UT Austin.☆66Updated 4 years ago
- The Hux x86 32-bit Toy Operating System Kernel (with full wiki pages as development tutorial)☆68Updated 3 years ago
- Commentary for xv6-public☆257Updated 4 years ago
- ☆183Updated 5 years ago
- The Optimistic File System (OptFS) is a Linux ext4 variant that implements Optimistic Crash Consistency, a new approach to crash consiste…☆33Updated 11 years ago
- ☆30Updated 3 years ago
- Repo for CS 378 Virtualization course at the University of Texas at Austin CS Dept☆41Updated 5 years ago
- A component-based OS☆189Updated 2 months ago
- Nautilus Aerokernel☆46Updated 2 years ago
- rmem public repo☆41Updated last month
- Lab assignments for 6.826☆15Updated 4 years ago
- No-assurance libraries for rapid-prototyping of seL4 apps.☆53Updated last month
- ☆67Updated 2 years ago
- ops-class.org OS/161 sources.☆133Updated 4 years ago
- Pedagogical Hypervisor, based on MIT JOS☆67Updated 7 years ago
- An unofficial guide to contributing to GCC, aimed at newbies☆117Updated 7 months ago
- Design and Implementation of kernel level threads for xv6 operating system. Adding system call related to threading environment in xv6 al…☆30Updated 4 years ago
- ☆31Updated 3 years ago
- ☆137Updated 2 years ago
- Lab assignments for Georgia Tech CS 3210 "Design of Operating Systems"☆118Updated 4 years ago
- cs140e winter 2019 class materials.☆138Updated 5 years ago
- Verifying concurrent crash-safe systems☆178Updated this week
- CS 704 course website - Principles of Programming Languages☆67Updated 2 years ago
- ☆121Updated 3 months ago
- Detailed solutions to assignments of MIT's Operating Systems Engineering course☆52Updated 11 months ago