Secure and fast microVMs for serverless computing.

All Algorithms implemented in Rust

Modern embedded framework, using Rust and async.

A small and fast async runtime for Rust

Migrate C code to Rust

a smol tcp/ip stack

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

A debugging toolset and library for debugging embedded ARM and RISC-V targets on a separate host

Home of OpenVMM and OpenHCL

Code examples, data structures, and links from my book, Rust Atomics and Locks.

Framework for writing Linux kernel modules in safe Rust

The materials of "Hypervisor 101 in Rust", a one-day long course, to quickly learn hardware-assisted virtualization technology and its application for high-performance fuzzing on Intel/AMD processors.

The Xous microkernel

An x86 bootloader written in Rust.

Windows Kernel-Mode Drivers written in Rust

A teaching operating system written in Rust

virtio implementation

Linux kernel loader

A Rust crate for creating memory dumps of running processes on Linux

A Raspberry Pi OS Kernel in Rust

Unofficial Rust SDK for the Pimoroni PicoSystem

Unofficial Rust SDK for the Pimoroni PicoSystem