chyyuu's repositories
os_kernel_lab
OS kernel labs based on Rust/C Lang & RISC-V 64/X86-32
aos_course_info
advanced os course info & some os papers
compiler_course_info
compiler course info
rCore-Tutorial-Book-v3
Documentation of rCore-Tutorial version 3.5 in Chinese.
rust-book-cs-brown-edu
The Rust Programming Language: Experimental Edition
awesome-rust-formalized-reasoning
An exhaustive list of all Rust resources regarding automated or semi-automated formalization efforts in any area, constructive mathematics, formal algorithms, and program verification.
rCore-Tutorial-v3
v3.5 https://rcore-os.github.io/rCore-Tutorial-Book-v3/index.html
rust-raspberrypi-OS-tutorials
:books: Learn to write an embedded OS in Rust :crab:
rv-arch-lab-terminus
A riscv isa simulator in rust.
2023OSCOMP
2023年OScomp备考网址
arce-os.github.io
the current status of arce-os
proj199-Linux-0.11-arm
Port Linux 0.11 to ARM platform
proj212-la32-yocto
Yocto for 32bit LoongArch
proj220-la-spmv
LoongArch稀疏矩阵乘向量算法实现与优化
proj231-hypervisor-in-zephyr
基于Zephyr RTOS实现type-2型虚拟化
syswonder-web
syswonder.org source code
virtio-drivers
VirtIO guest drivers in Rust.