qiurui

0 Followers · 0 Following

Joined on 2024-04-03

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-11-07 05:14:25 +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-11-06 15:37:31 +00:00

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-11-06 12:24:25 +00:00