Calculate Statistics about the Linux Kernel

Build fast web applications with Rust.

Byte-order-aware numeric types.

Data and software for ARCS 2024 paper "Exploring the ARM Coherent Mesh Network Topology"

HermitOS without std

Experimental OS, built with rust

Learning eBPF, published by O'Reilly - out now! Here's where you'll find a VM config for the examples, and more

A fast and flexible allocator for no_std and WebAssembly

Useful types for dealing with PCI

A Rust driver for the Arm Generic Interrupt Controller version 3 or 4 (GICv3 and GICv4).

Kubernetes Rust Kubelet

A L4-like micro-kernel OS written in Rust

GitLab Go SDK

ArnOs unikernel system. Written in Rust. Ran on AWS Firecracker.

Kernel-Bypass LibOS Architecture

Multiboot library written in rust.

A teaching operating system written in Rust

The Serenity Operating System 🐞

Linux kernel driver to export the TSC frequency via sysfs

Minimal x86 firmware for booting Linux kernels

Angrave's Crowd-Sourced System Programming Book used at UIUC

McKernel

Interface for Heterogeneous Kernels

Interface for Heterogeneous Kernels

RFCs for changes to Rust

Hermit for Rust.

A Rust-based, lightweight unikernel.

🧑‍🔬 Operating system

Issues tracker for ideas, ongoing work, looking for mentors, mentors available. Join here!