pindexis / pintos-project2
Adding user programs support to Pintos kernel: loading executables / System calls handling Mechanism / IPC
☆20Updated 10 years ago
Alternatives and similar repositories for pintos-project2:
Users that are interested in pintos-project2 are comparing it to the libraries listed below
- My solution of Pintos project 2 i.e. User Programs☆25Updated 4 years ago
- Pintos Operating System Modified☆36Updated 14 years ago
- Pintos OS from Stanford☆121Updated 13 years ago
- Eurosys22' - Rolis: a software approach to efficiently replicating multi-core transactions☆14Updated 10 months ago
- slides for classes and labs of SE2019@SUSTech☆11Updated 5 years ago
- COOL Compiler☆11Updated 8 years ago
- SUSTech CS401☆10Updated 6 years ago
- 代码MIT 2016-2017年JOS LAB(6/6) 过程记录文档为SJTU+MIT☆38Updated 6 years ago
- A Compiler-based System for Secure Memory Instrumentation and Execution in Enclaves☆28Updated 3 years ago
- General system research material (not limited to paper) reading notes.☆21Updated 3 years ago
- rtree test, DBGroup☆7Updated 5 years ago
- 南方科技大学毕业论文LaTeX模板☆91Updated 5 years ago
- 说出你在同济的菜鸡故事。☆21Updated 4 years ago
- A compiler for the course Compiler 2017 at ACM Class, SJTU.☆76Updated 6 years ago
- Summary for Stanford class CS243 - Program Analysis and Optimizations | Winter 2016☆30Updated 8 years ago
- Beamer theme for defense slide☆18Updated 5 years ago
- Coursework of SUSTech CS323 Compilers☆23Updated 5 years ago
- Coursera Course (Stanford CS143)☆24Updated 10 years ago
- Kernel created for 15-410 Operating Systems class at Carnegie Mellon☆12Updated 8 years ago
- ☆13Updated 3 years ago
- Desktop Debugger for CS303 (Artificial Intelligence) Gomoku Project / 和自己的五子棋 AI 桌面对战☆16Updated 5 years ago
- Automated Code Repair suite powered by ESBMC and LLMs.☆33Updated 2 weeks ago