A scalable 256/1024-RISC-V-core system with low-latency access into shared L1 memory.

2025开源操作系统训练营

A visualized debugging framework to aid in understanding the Linux kernel.

RROS is a dual-kernel OS for satellites or other scenarios that need both real-time and general-purpose abilities. RROS = RTOS (Rust) + Linux (C).

A Rust-based embedded operating system designed to enable memory-safe, robust, and responsive embedded applications.

An easy-to-use and fast library for task-based parallelism, utilizing coroutines.

The irqbalance source tree - The new official site for irqbalance

Lightweight, Linux-compatible kernel, written in Rust to leverage the safety of the typesystem. Aiming to remove as much legacy as possible while supporting most usecases

reading material for cs240

Skyloft: A General High-Efficient Scheduling Framework in User Space (SOSP 2024)