Kernel

📚 Learn to write an embedded OS in Rust 🦀

A secure embedded operating system for microcontrollers

OS kernel labs based on Rust/C Lang & RISC-V 64/X86-32

Theseus is a modern OS written from scratch in Rust that explores 𝐢𝐧𝐭𝐫𝐚𝐥𝐢𝐧𝐠𝐮𝐚𝐥 𝐝𝐞𝐬𝐢𝐠𝐧, novel OS structure, and state management. It strives to close the semantic gap between compiler and hardware to maximally leverage the power of language safety, and thus shift OS responsibilities like resource management into the compiler.

🧑‍🔬 Operating system

libhermit-rs: A Rust-based library operating system

Tutorial for rCore OS step by step (3rd edition)

Project to create driver/software to control performance of razer laptops

A teaching operating system written in Rust

A hobbyist microkernel written in Rust, featuring a capability-based system similar to seL4.

The Stupid Operating System

Microkernel and userspace written in Rust exploring modern ideas

Horizon/NX kernel reimplementation

A modular and blazing fast runtime security framework for the IoT, powered by eBPF.

A lightweight, secure, multiprocessor bare-metal hypervisor written in Rust for RISC-V

Experimental kernel with built-in replication.

Rust-based Unikernel

R3-OS — Experimental static (μITRON-esque) RTOS for deeply embedded systems, testing the limit of Rust's const eval and generics

An operating system written in Rust

A kernel written in Rust