dddrrreee / cs240lx-20sprLinks
course materials for cs240lx @ stanford
☆21Updated 4 years ago
Alternatives and similar repositories for cs240lx-20spr
Users that are interested in cs240lx-20spr are comparing it to the libraries listed below
Sorting:
- class repo for cs140e, stanford winter quarter 2022☆52Updated 3 years ago
- cs240lx class repo. except in very rare cases, cs140e is a hard requirement.☆24Updated 2 years ago
- All material for CS140E, winter 2023.☆84Updated last year
- CS 360V Virtualization, Fall 2020, UT Austin CS Dept. Instructor: Vijay Chidambaram. Copyright held by Vijay Chidambaram and UT Austin.☆66Updated 4 years ago
- Lab assignments for Georgia Tech CS 3210 "Design of Operating Systems"☆119Updated 4 years ago
- A description of Minotaur can be found in https://arxiv.org/abs/2306.00229.☆108Updated 10 months ago
- Lab assignments for 6.826☆15Updated 4 years ago
- Yizhou' Homepage☆47Updated 2 weeks ago
- State of the art for unikernels☆217Updated last year
- Experimental kernel with built-in replication.☆158Updated last year
- A computer for human beings.☆44Updated 7 months ago
- Stanford CS 110L Spring 2020 assignment starter code☆105Updated 10 months ago
- The Xous microkernel☆567Updated last week
- ☆30Updated 3 years ago
- Loupe: Syscall Usage Analysis Tool☆37Updated this week
- ☆169Updated 3 years ago
- ☆142Updated 7 months ago
- Sample Code for “Sequential and Parallel Algorithms and Data Structures -- The Basic Toolbox” Book☆25Updated 7 years ago
- The Twizzler Operating System☆94Updated this week
- Coffer is a RISC-V trusted execution environment developed in Rust.☆20Updated 3 years ago
- ☆18Updated 10 months ago
- ☆123Updated 2 weeks ago
- ☆136Updated 2 years ago
- A secure, fast, and adaptable OS based on the seL4 microkernel☆136Updated last week
- Repo for CS 378 Virtualization course at the University of Texas at Austin CS Dept☆41Updated 5 years ago
- xv6 OS☆239Updated 2 months ago
- The repo for HotOS paper "FIFO can be Better than LRU: the Power of Lazy Promotion and Quick Demotion"☆33Updated 2 years ago
- Debugger for Hubris☆547Updated last week
- DAMON user-space tool☆163Updated 9 months ago
- An operation-log based approach for data replication.☆62Updated 2 years ago