Alternatives and similar repositories for rustl4re

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

• rasendubi / bkernel
  Experimental kernel for embedded devices written in Rust
  ☆91Updated 3 years ago
• CRust-OS / CRust-OS
  Xen-based unikernel in Rust
  ☆57Updated 8 years ago
• QuiltOS / QuiltOS
  A language-based OS to run Rust on bare metal
  ☆86Updated 8 years ago
• alexcrichton / rlibc
  ☆77Updated 6 years ago
• emk / toyos-rs
  Just hacking around on a toy Rust-based on based on the blog posts at http://blog.phil-opp.com/
  ☆90Updated 2 years ago
• QuiltOS / QuiltNet
  A network stack in pure Rust
  ☆57Updated 8 years ago
• mark-i-m / os2
  x86_64 OS kernel with completely async userspace and single address space [WIP; but basic kernel functionality implemented]
  ☆31Updated 5 years ago
• diodesign / diosix
  A lightweight, secure, multiprocessor bare-metal hypervisor written in Rust for RISC-V
  ☆196Updated 6 months ago
• m4b / dryad
  An almost-parallel, semi-functioning, dynamic linker experiment, written in Rust
  ☆170Updated 7 years ago
• eholk / Boot2Rust
  EFI applications in Rust
  ☆205Updated 10 years ago
• rust-embedded / register-rs
  Unified interface for type-safe MMIO and CPU register access in Rust
  ☆48Updated 4 years ago
• seL4 / refos
  Prototype no-assurance reference OS personality built on seL4
  ☆50Updated 4 months ago
• faern / rips-old
  Rust IP Stack - A userspace IP stack written in Rust (Work in progress)
  ☆32Updated 8 years ago
• dschatzberg / kvm
  Rust bindings to the KVM interface
  ☆17Updated 6 years ago
• AveryOS / avery
  x86-64 kernel in Rust
  ☆32Updated 8 years ago
• NuxiNL / cloudabi
  Definitions for the CloudABI data types and system calls
  ☆134Updated 4 years ago
• redox-os / drivers
  Mirror of https://gitlab.redox-os.org/redox-os/drivers
  ☆59Updated this week
• nrc / xmas-elf
  elf parser and navigation tool, pure Rust
  ☆168Updated 4 months ago
• redox-os / redox-ssh
  Mirror of https://gitlab.redox-os.org/redox-os/redox-ssh
  ☆31Updated 9 months ago
• helena-project / storm.rs
  TockOS - An OS for Embedded Devices
  ☆32Updated 10 years ago
• mbr / device_tree-rs
  Reads and parses Linux device tree images
  ☆16Updated last year
• dgreid / crosvm
  ☆54Updated this week
• korhalio / stasis
  build static rust position-independant-executables without any runtime requirements (no libc or ldso)
  ☆42Updated 7 years ago
• redox-os / syscall
  Mirror of https://gitlab.redox-os.org/redox-os/syscall
  ☆36Updated this week
• sorpaas / rux
  A hobbyist microkernel written in Rust, featuring a capability-based system similar to seL4.
  ☆304Updated 5 years ago
• embed-rs / embedded-rs
  Rust embed crate
  ☆15Updated 7 years ago
• stratis-storage / devicemapper-rs
  A Rust library for using Linux devicemapper
  ☆73Updated this week
• randomites / plain
  A small Rust library that allows users to reinterpret data of certain types safely.
  ☆40Updated 3 years ago
• maidsafe / rust_sodium
  This crate is no longer maintained. Looking for maintainers.
  ☆79Updated 5 years ago
• uwplse / crust
  A compiler from Rust to C, and a checker for unsafe code
  ☆84Updated 5 years ago