I'm teaching & researching AI4OS & OS4AI in Dept. of Computer Sci. & Tech., Tsinghua Univ.
os_kernel_lab. OS kernel labs based on Rust/C Lang & RISC-V 64/X86-32
4kos_course_info. OS Lectures 2022 Spring in Dept. CS, Tsinghua Univ.
2.9kucore_os_docs. ucore os lab guide
744simple_os_book. simple os book
573os_course_exercises. Exercises for OS course
383aos_course_info. advanced os course info & some os papers
352compiler_course_info. compiler course info
249ucore_os_plus. C
238os_tutorial_lab. tutorial labs for os course
155ucorebook_code. Building ucore OS step by step
152v8-cpu. Simple 8-bit v8-CPU with Compiler+Assembler+Simulator. Try it-->
99os_course_exercise_library. Python
97symexe. symexe
97compiler_lab. Some toy labs for compiler course
59mit-ds-course. 6.824: Distributed Systems in MIT
58ucore_pub. the ucore os protal
45thoughts.
42v9-cpu. C
16ostep-code-rust. Rust
14zCore-Design. Rust
13rt-patch-analysis. Python
11zCore. Reimplement Zircon microkernel in Rust.
11os-lectures. os lectures 2022 spring
10example-coroutine-and-thread. Rust
10rcoresbs_doc.
10CSAPP-Labs. Solutions and Notes for Labs of Computer Systems: A Programmer's Perspective 3rd Editon // 《深入理解计算机系统》第三版的实验文件、解答与笔记
9mit-cse-course. 6.033:Computer Systems Engineering in MIT
9rCore-Tutorial-Book-v3. Documentation of rCore-Tutorial version 3.5 in Chinese.
8xv6-lab-2021. C
7kAFL. Code for the USENIX 2017 paper: kAFL: Hardware-Assisted Feedback Fuzzing for OS Kernels
6riscvemu. C
6tailbench. C++
5