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 aims to be a production-grade Linux alternative—memory safe, high-performance, and more.

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.

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

The beginning of a x86_64 emulator written in Rust

Unofficial Rust SDK for the Pimoroni PicoSystem