dddrrreee / cs240lx-20spr
course materials for cs240lx @ stanford
☆20Updated 4 years ago
Related projects ⓘ
Alternatives and complementary repositories for cs240lx-20spr
- class repo for cs140e, stanford winter quarter 2022☆51Updated 2 years ago
- cs240lx class repo. except in very rare cases, cs140e is a hard requirement.☆22Updated last year
- CS 360V Virtualization, Fall 2020, UT Austin CS Dept. Instructor: Vijay Chidambaram. Copyright held by Vijay Chidambaram and UT Austin.☆66Updated 3 years ago
- All material for CS140E, winter 2023.☆76Updated 8 months ago
- Chickadee OS for Harvard CS 161☆89Updated 8 months ago
- Lab assignments for 6.826☆13Updated 4 years ago
- Lab assignments for Georgia Tech CS 3210 "Design of Operating Systems"☆112Updated 4 years ago
- Yizhou' Homepage☆46Updated this week
- ☆28Updated 4 years ago
- CS168 Project 1: Routing☆14Updated 4 years ago
- Repo for CS 378 Virtualization course at the University of Texas at Austin CS Dept☆41Updated 4 years ago
- Experimental kernel with built-in replication.☆155Updated 8 months ago
- RISC-V hypervisor written in Rust☆349Updated 4 years ago
- A curated list of resources on operating system design and implementation.☆121Updated 5 months ago
- Verifying concurrent crash-safe systems☆163Updated this week
- Risc-V hypervisor for TEE development☆98Updated last year
- ☆60Updated 4 months ago
- Public-facing version of the Twizzler OS source code. Note: this is not completely up-to-date with internal Twizzler code.☆65Updated 4 years ago
- Official page for 18-847C (Spring '22): Data Center Computing☆16Updated 2 years ago
- Commentary for xv6-public☆249Updated 4 years ago
- Stanford CS 110L Spring 2020 assignment starter code☆103Updated 3 months ago
- Detailed solutions to assignments of MIT's Operating Systems Engineering course☆51Updated 6 months ago
- CMU 15-441/641 Project 1☆19Updated 3 years ago
- An operation-log based approach for data replication.☆62Updated last year
- ☆30Updated 2 years ago
- Financial literacy for computer science students☆28Updated 8 months ago
- hBPF = eBPF in hardware☆402Updated last year
- Nautilus Aerokernel☆44Updated 2 years ago