Alternatives and similar repositories for kernel

Users that are interested in kernel are comparing it to the libraries listed below

• hermit-os / hermit-rs
  Hermit for Rust.
  ☆1,795Updated this week
• rust-osdev / uefi-rs
  Rusty wrapper for the Unified Extensible Firmware Interface (UEFI). This crate makes it easy to develop Rust software that leverages safe…
  ☆1,428Updated this week
• rust-osdev / x86_64
  Library to program x86_64 hardware.
  ☆859Updated 2 weeks ago
• rust-osdev / bootloader
  An experimental pure-Rust x86 bootloader
  ☆1,498Updated 2 weeks ago
• redox-os / relibc
  Mirror of https://gitlab.redox-os.org/redox-os/relibc
  ☆901Updated this week
• flosse / rust-os-comparison
  A comparison of operating systems written in Rust
  ☆775Updated last month
• thepowersgang / rust_os
  An OS kernel written in rust. Non POSIX
  ☆793Updated last month
• oreboot / oreboot
  oreboot is a fork of coreboot, with C removed, written in Rust.
  ☆1,696Updated last month
• redox-os / kernel
  Mirror of https://gitlab.redox-os.org/redox-os/kernel
  ☆727Updated this week
• nix-rust / nix
  Rust friendly bindings to *nix APIs
  ☆2,838Updated last month
• rust-osdev / bootimage
  Tool to create bootable disk images from a Rust OS kernel.
  ☆820Updated 2 months ago
• bytecodealliance / rustix
  Safe Rust bindings to POSIX-ish APIs
  ☆1,706Updated 3 weeks ago
• fishinabarrel / linux-kernel-module-rust
  Framework for writing Linux kernel modules in safe Rust
  ☆1,336Updated 4 years ago
• rust-lang / chalk
  An implementation and definition of the Rust trait system using a PROLOG-like logic solver
  ☆1,940Updated 3 weeks ago
• sslab-gatech / Rudra
  Rust Memory Safety & Undefined Behavior Detection
  ☆1,341Updated last year
• thepowersgang / rust-barebones-kernel
  A barebones framework for a rust kernel.
  ☆285Updated 2 years ago
• cloud-hypervisor / rust-hypervisor-firmware
  ☆637Updated this week
• dtolnay / watt
  Runtime for executing procedural macros as WebAssembly
  ☆1,389Updated last month
• tokio-rs / loom
  Concurrency permutation testing tool for Rust.
  ☆2,386Updated 2 months ago
• RWTH-OS / eduOS-rs
  A teaching operating system written in Rust
  ☆454Updated 2 months ago
• rust-lang / rustc_codegen_cranelift
  Cranelift based backend for rustc
  ☆1,804Updated this week
• m4b / goblin
  An impish, cross-platform binary parsing crate, written in Rust
  ☆1,298Updated this week
• rust-lang / polonius
  Defines the Rust borrow checker.
  ☆1,452Updated 2 weeks ago
• bytecodealliance / cap-std
  Capability-oriented version of the Rust standard library
  ☆691Updated 2 months ago
• rust-vmm / community
  rust-vmm community content
  ☆538Updated 2 weeks ago
• IsaacWoods / poplar
  Microkernel and userspace written in Rust exploring modern ideas
  ☆259Updated 2 weeks ago
• tomaka / redshirt
  🧑‍🔬 Operating system
  ☆1,443Updated 3 weeks ago
• tsgates / rust.ko
  A minimal Linux kernel module written in rust.
  ☆912Updated 4 years ago
• jauhien / iron-kaleidoscope
  LLVM tutorial in Rust language
  ☆1,208Updated last year
• fitzgen / bumpalo
  A fast bump allocation arena for Rust
  ☆1,779Updated 2 weeks ago