-
Tsinghua Unviersity
- Beijing, China
- http://soft.cs.tsinghua.edu.cn/~chen
-
arceos Public
Forked from arceos-org/arceosAn experimental modular OS written in Rust.
C Apache License 2.0 UpdatedJul 6, 2025 -
arceos-apps Public
Forked from arceos-org/arceos-appsExample apps for ArceOS.
Rust UpdatedJul 6, 2025 -
axconfig-gen Public
Forked from arceos-org/axconfig-genA TOML-based configuration generation tool for ArceOS.
Rust UpdatedJun 13, 2025 -
aos_course_info Public
advanced os course info & some os papers
-
-
oscamp Public
Forked from arceos-org/oscampExperiments and course for oscamp.
Rust Apache License 2.0 UpdatedMay 23, 2025 -
-
starry-next Public
Forked from oscomp/starry-nextA monolithic kernel based on ArceOS.
Rust UpdatedMay 17, 2025 -
axvisor Public
Forked from arceos-hypervisor/axvisorUnified modular arceos-hypervisor
Rust Apache License 2.0 UpdatedMay 17, 2025 -
Starry-Tutorial-Book Public
Forked from Azure-stars/Starry-Tutorial-BookA concise guide that explains the composition of the modular operating system Starry
HTML UpdatedMay 17, 2025 -
axvisor-tools Public
Forked from arceos-hypervisor/axvisor-toolsCLI & kernel module driver for axvisor
Rust UpdatedMay 8, 2025 -
-
-
x86_vcpu Public
Forked from arceos-hypervisor/x86_vcpuvCpu for x86_64: Intel VMX virtualization support under x86_64 architecture
Rust UpdatedMay 1, 2025 -
nitrokey-3-firmware Public
Forked from Nitrokey/nitrokey-3-firmwareNitrokey 3 firmware
Rust Apache License 2.0 UpdatedApr 30, 2025 -
arm_vcpu Public
Forked from arceos-hypervisor/arm_vcpuvCpu for ARM: virtualization support under aarch64 architecture
Rust UpdatedApr 29, 2025 -
os-lectures Public
Forked from LearningOS/os-lecturesos lectures 2022 spring
-
axaddrspace Public
Forked from arceos-hypervisor/axaddrspaceArceOS-Hypervisor guest address space management module
Rust UpdatedApr 25, 2025 -
axvm Public
Forked from arceos-hypervisor/axvmVirtual Machine resource management crate for ArceOS's hypervisor variant.
Rust Apache License 2.0 UpdatedApr 23, 2025 -
riscv_vcpu Public
Forked from arceos-hypervisor/riscv_vcpuvCpu for RISC-V: virtualization support under riscv64 architecture
Rust UpdatedApr 21, 2025 -
-
-
-
-
-
-
lkmodel Public
Forked from shilei-massclouds/lkmodelLK model components.
Rust Apache License 2.0 UpdatedJan 8, 2025 -
rcore-tutorial-v3-with-hal-component Public
Forked from yfblock/rcore-tutorial-v3-with-hal-component -
generative-ai-for-beginners Public
Forked from microsoft/generative-ai-for-beginners21 Lessons, Get Started Building with Generative AI 🔗 https://microsoft.github.io/generative-ai-for-beginners/
-
aos-lectures Public
Forked from LearningOS/aos-lectures