rCore OS's repositories
rCore-Tutorial-Book-v3
A book about how to write OS kernels in Rust easily.
virtio-drivers
VirtIO guest drivers in Rust.
bitmap-allocator
Free space bitmap allocator
rcoreos-related-info
ArceOS related info
arceos-apps
Example apps for ArceOS.
arm-gic-driver
A driver for the Arm Generic Interrupt Controller version 1-4.
axaddrspace
ArceOS-Hypervisor guest address space management module
axconfig-gen
A TOML-based configuration generation tool for ArceOS.
axcpu
Privileged instruction and structure abstractions for various CPU architectures.
axfs_crates
Crates for building filesystems.
axplat_crates
Reusable crates used for ArceOS Hardware Abstraction Layer (HAL).
serial-async
A library that makes creating asynchronous serial drivers even simpler.
x86_uintr
This crate provides support for Intel User Interrupt (UINTR) extensions.