Alternatives and similar repositories for rustl4re

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

• CRust-OS / CRust-OS
  Xen-based unikernel in Rust
  ☆57Updated 8 years ago
• rasendubi / bkernel
  Experimental kernel for embedded devices written in Rust
  ☆91Updated 3 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
• seL4 / refos
  Prototype no-assurance reference OS personality built on seL4
  ☆50Updated 5 months ago
• helena-project / storm.rs
  TockOS - An OS for Embedded Devices
  ☆32Updated 10 years ago
• eholk / Boot2Rust
  EFI applications in Rust
  ☆208Updated 10 years ago
• redox-os / drivers
  Mirror of https://gitlab.redox-os.org/redox-os/drivers
  ☆59Updated last week
• redox-os / redox-ssh
  Mirror of https://gitlab.redox-os.org/redox-os/redox-ssh
  ☆31Updated 11 months ago
• QuiltOS / QuiltOS
  A language-based OS to run Rust on bare metal
  ☆86Updated 8 years ago
• GaloisInc / FreeRTOS-Xen
  FreeRTOS 7.6.0 ported to run as a Xen guest on ARM systems.
  ☆46Updated 6 years ago
• kernkonzept / uvmm
  Virtual machine monitor for L4Re
  ☆32Updated 3 weeks ago
• QuiltOS / QuiltNet
  A network stack in pure Rust
  ☆58Updated 9 years ago
• alexcrichton / rlibc
  ☆77Updated 6 years ago
• diodesign / diosix
  A lightweight, secure, multiprocessor bare-metal hypervisor written in Rust for RISC-V
  ☆198Updated 8 months ago
• mbr / device_tree-rs
  Reads and parses Linux device tree images
  ☆16Updated last year
• miselin / rustic
  Rustic Embedded Framework
  ☆189Updated 4 years ago
• dgreid / crosvm
  ☆54Updated last month
• rust-embedded / register-rs
  Unified interface for type-safe MMIO and CPU register access in Rust
  ☆49Updated 4 years ago
• wbthomason / ironkernel
  A multi-platform kernel written in Rust
  ☆58Updated 7 years ago
• redox-os / syscall
  Mirror of https://gitlab.redox-os.org/redox-os/syscall
  ☆36Updated last month
• faern / rips-old
  Rust IP Stack - A userspace IP stack written in Rust (Work in progress)
  ☆32Updated 8 years ago
• nrc / xmas-elf
  elf parser and navigation tool, pure Rust
  ☆170Updated 5 months ago
• riscv-rust / riscv-rust-toolchain
  RISCV Rust Toolchain
  ☆117Updated 7 years ago
• redox-os / libc
  Mirror of https://gitlab.redox-os.org/redox-os/libc
  ☆15Updated 4 years ago
• rumpkernel / fs-utils
  File System Access Utilities in Userland
  ☆77Updated 9 years ago
• m4b / dryad
  An almost-parallel, semi-functioning, dynamic linker experiment, written in Rust
  ☆171Updated 7 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
• seL4 / rumprun
  The Rumprun unikernel and toolchain for various platforms
  ☆11Updated last year
• google / capsicum-linux
  Linux kernel with Capsicum support
  ☆208Updated 5 years ago