qiurui

0 Followers · 0 Following

Joined on 2024-04-03

asterinas

Rust 0 0

Asterinas is a secure, fast, and general-purpose OS kernel, written in Rust and providing Linux-compatible ABI.

rust kernel os tee

Updated 2025-09-15 05:28:23 +00:00

redox-os-kernel

Rust 0 0

Mirror of https://gitlab.redox-os.org/redox-os/kernel

linux microkernel plan9 redox rust sel4 syscall

Updated 2025-09-06 15:10:32 +00:00

DragonOS

Rust 0 0

使用Rust从0自研内核，具有Linux兼容性的操作系统，面向云计算Serverless场景而设计。DragonOS is an operating system developed from scratch using Rust, with Linux compatibility. It is designed for **Serverless** scenarios.

rust os operating-system

Updated 2025-08-18 06:57:04 +00:00