Rust Kernel

Open-source Rust projects categorized as Kernel
Edit details
Rust operating-system Os Osdev x86-64
Stop Scripting Promotions. Start Shipping with Kargo
Kargo automates promotion across dev, staging, and prod with approval gates and verification. Open source, built by the team behind Argo CD. Download now.
akuity.io
sponsored

Top 23 Rust Kernel Projects

Rust logo
Kernel

  1. rust-raspberrypi-OS-tutorials

    :books: Learn to write an embedded OS in Rust :crab:

  2. AppSignal

    AppSignal knows why the f*#k it crashed. Stop vibe-debugging. Every exception, every backtrace, grouped so you see patterns, not noise.

    AppSignal logo

  3. tock

    A secure embedded operating system for microcontrollers

    Project mention: Tock: A secure embedded operating system for microcontrollers written in Rust | news.ycombinator.com | 2026-07-28

  4. asterinas

    Asterinas aims to be a production-grade Linux alternative—memory safe, high-performance, and more.

    Project mention: Ironclad – formally verified, real-time capable, Unix-like OS kernel | news.ycombinator.com | 2025-11-08

  5. maestro

    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 (by maestro-os)

    Project mention: Lightweight Linux-compatible kernel written in Rust | news.ycombinator.com | 2025-11-25

  6. Theseus

    Theseus is a modern OS written from scratch in Rust that explores 𝐢𝐧𝐭𝐫𝐚𝐥𝐢𝐧𝐠𝐮𝐚𝐥 𝐝𝐞𝐬𝐢𝐠𝐧: closing the semantic gap between compiler and hardware by maximally leveraging the power of language safety and affine types. Theseus aims to shift OS responsibilities like resource management into the compiler.

    Project mention: Theseus: Translating Win32 to WASM | news.ycombinator.com | 2026-05-27

    When I clicked, I thought this was going to be about the Theseus operating system [0].

    It too uses WASM, but for running non-Rust programs in sandboxes. Everything else is Rust. Hmm.. Last updated in 2024 though.

    0: https://github.com/theseus-os/Theseus

  7. oryx

    🕵️‍♂️ TUI for sniffing network traffic using eBPF on Linux

    Project mention: Show HN: Nano PDF – A CLI Tool to Edit PDFs with Gemini's Nano Banana | news.ycombinator.com | 2025-11-29

  8. kernel

    A Rust-based, lightweight unikernel.

  9. Kargo

    Stop Scripting Promotions. Start Shipping with Kargo. Kargo automates promotion across dev, staging, and prod with approval gates and verification. Open source, built by the team behind Argo CD. Download now.

    Kargo logo

  10. redshirt

    🧑‍🔬 Operating system

  11. pulsar

    A modular and blazing fast runtime security tool for the IoT, powered by eBPF. (by exein-io)

  12. obliteration

    Experimental free and open-source PlayStation 4 kernel

  13. Polaris

    A WIP 64-bit UNIX-like kernel (by 0x650)

  14. felix

    🐱 Experimental operating system written in Rust (by mrgian)

  15. hk

    A modern, Linux compatible OS kernel (by jgarzik)

    Project mention: It boots on real hardware (hk kernel) | news.ycombinator.com | 2025-12-29

  16. kernel

    The kernel for LibertyOS. (by LibertyOS-Development)

  17. rezolus

    High-resolution, low-overhead systems and service telemetry (by iopsystems)

    Project mention: Rezolus: High-Resolution Systems Performance Telemetry | news.ycombinator.com | 2026-05-13

  18. poplar

    Toy microkernel and userspace written in Rust, exploring modern ideas

  19. SunriseOS

    Horizon/NX kernel reimplementation

  20. decapod

    Repo-native governance kernel for bounded, convergent, proof-backed agent work.

    Project mention: The AI productivity boom is not here (yet) | news.ycombinator.com | 2026-02-23

  21. rou2exOS

    A second iteration of a DOS-inspired hobby OS.

  22. linux-0.11-rs

    Linux 0.11 rewritten in idiomatic Rust: kernel, std-style user library, and 60+ coreutils — boots on i386 in QEMU.

    Project mention: Linux 0.11 rewritten in idiomatic Rust, boots in QEMU | news.ycombinator.com | 2026-07-13

    For fun, I decided to take a look at a random syscall: fork.

    * https://github.com/yuan-xy/Linux-0.11/blob/master/kernel/for...

    * https://github.com/Poseidon-fan/linux-0.11-rs/blob/420152fdf...

    The Rust is slightly shorter, though it also isn't organized in exactly the same way.

    Maybe I got lucky, but I would expect that it's more of what other people said: this repository includes far more than the kernel.

  23. autokernel

    A tool for managing your kernel configuration that guarantees semantic correctness

  24. rust-kernel-riscv

    RISC-V kernel implemented with Rust

  25. kernel

    Kernel for the Oro Operating System (by oro-os)

  26. SaaSHub

    SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives

    SaaSHub logo
NOTE: The open source projects on this list are ordered by number of github stars. The number of mentions indicates repo mentiontions in the last 12 Months or since we started tracking (Dec 2020).

Rust Kernel discussion

Log in or Post with

Rust Kernel related posts

Index

What are some of the best open-source Kernel projects in Rust? This list will help you:

# Project Stars
1 rust-raspberrypi-OS-tutorials 14,713
2 tock 6,433
3 asterinas 4,833
4 maestro 3,329
5 Theseus 3,169
6 oryx 2,573
7 kernel 1,490
8 redshirt 1,434
9 pulsar 1,039
10 obliteration 815
11 Polaris 611
12 felix 399
13 hk 352
14 kernel 292
15 rezolus 273
16 poplar 267
17 SunriseOS 246
18 decapod 233
19 rou2exOS 207
20 linux-0.11-rs 201
21 autokernel 112
22 rust-kernel-riscv 99
23 kernel 95

Sponsored
AppSignal knows why the f*#k it crashed.
Stop vibe-debugging. Every exception, every backtrace, grouped so you see patterns, not noise.
www.appsignal.com
Loading...