nayak16 / Custom-OS-Kernel
Kernel created for 15-410 Operating Systems class at Carnegie Mellon
☆12Updated 8 years ago
Related projects ⓘ
Alternatives and complementary repositories for Custom-OS-Kernel
- Nautilus Aerokernel☆44Updated 2 years ago
- outline and links for PLDI 2022 tutorial☆17Updated 2 years ago
- Framework of pa code for THU compiler principle course.☆13Updated 4 years ago
- Yizhou' Homepage☆46Updated this week
- ☆30Updated 2 years ago
- ☆10Updated 6 months ago
- ☆8Updated 3 months ago
- Java Skeleton Code for 6.035☆8Updated 3 years ago
- ☆26Updated 3 years ago
- Small implementation in C of a slab allocator in user space☆34Updated 5 months ago
- All handouts will be here☆25Updated last year
- FlexOS: Towards Flexible OS Isolation (ASPLOS'22) Artifact Evaluation Repository☆16Updated 2 years ago
- Official page for 18-847C (Spring '22): Data Center Computing☆16Updated 2 years ago
- Course website for Advanced Operating Systems☆12Updated 2 years ago
- Eurosys22' - Rolis: a software approach to efficiently replicating multi-core transactions☆14Updated 8 months ago
- CMU 15-441/641 Project 1☆19Updated 3 years ago
- [AFK] Hardware router in Chisel (THU Network Joint Lab 2020)☆14Updated 4 years ago
- Just save my record on github...☆23Updated 3 years ago
- Chaitin-Briggs register-allocation algorithm (LLVM back-end)☆11Updated 8 years ago
- CS 346 RedBase Project (Stanford)☆37Updated 9 years ago
- GPU model checker☆11Updated 5 years ago
- Operating System Simulator☆19Updated 5 years ago
- Predator: Predictive False Sharing Detection☆21Updated 10 years ago
- POSIX-like scalable multicore research OS kernel☆187Updated 4 years ago
- ☆14Updated last year
- UCSD CSE231 Advanced Compiler - LLVM project☆12Updated 7 years ago
- HiStar operating system (not under active development)☆28Updated 6 years ago
- A database management system implemented in Rust from scratch.☆22Updated 3 years ago