vifast-oss/ViFastOs
Microkernel kiểu seL4 viết bằng Rust — capability-based, no_std, chạy trên QEMU với riscv64 / aarch64 / x86_64.
GitHub repository with 14 stars and 6 forks.
Language: Rust
Topics: aarch64, capability-based, microkernel, no-std, riscv64, rust, sel4, x86-64