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
• QuiltOS / QuiltOS
  A language-based OS to run Rust on bare metal
  ☆86Updated 9 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
• redox-os / redox-ssh
  Mirror of https://gitlab.redox-os.org/redox-os/redox-ssh
  ☆31Updated last year
• alexcrichton / rlibc
  ☆78Updated 7 years ago
• diodesign / diosix
  A lightweight, secure, multiprocessor bare-metal hypervisor written in Rust for RISC-V
  ☆198Updated 9 months ago
• redox-os / drivers
  Mirror of https://gitlab.redox-os.org/redox-os/drivers
  ☆61Updated last week
• rust-embedded / volatile-register
  Volatile access to memory mapped hardware registers
  ☆40Updated last year
• rust-embedded / register-rs
  Unified interface for type-safe MMIO and CPU register access in Rust
  ☆49Updated 4 years ago
• redox-os / syscall
  Mirror of https://gitlab.redox-os.org/redox-os/syscall
  ☆36Updated last week
• sorpaas / rux
  A hobbyist microkernel written in Rust, featuring a capability-based system similar to seL4.
  ☆305Updated 5 years ago
• NuxiNL / cloudabi
  Definitions for the CloudABI data types and system calls
  ☆135Updated 5 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
• seL4 / refos
  Prototype no-assurance reference OS personality built on seL4
  ☆50Updated 7 months ago
• wbthomason / ironkernel
  A multi-platform kernel written in Rust
  ☆61Updated 7 years ago
• helena-project / storm.rs
  TockOS - An OS for Embedded Devices
  ☆33Updated 10 years ago
• dgreid / crosvm
  ☆54Updated 3 months ago
• mbr / device_tree-rs
  Reads and parses Linux device tree images
  ☆16Updated last year
• droundy / fac
  Fac is a general-purpose build system that runs on Linux only, which automatically tracks dependencies by observing the build commands in…
  ☆78Updated 3 years ago
• QuiltOS / QuiltNet
  A network stack in pure Rust
  ☆58Updated 9 years ago
• eholk / Boot2Rust
  EFI applications in Rust
  ☆207Updated 10 years ago
• mahkoh / rlibc
  ☆38Updated 10 years ago
• diwic / fdringbuf-rs
  Ringbuffer with FD signalling - fast IPC without memory copies!
  ☆89Updated 4 years ago
• stratis-storage / devicemapper-rs
  A Rust library for using Linux devicemapper
  ☆75Updated 2 weeks ago
• redox-os / bootloader
  Mirror of https://gitlab.redox-os.org/redox-os/bootloader
  ☆53Updated last week
• jvns / puddle
  A tiny 32 bit kernel written in Rust, for fun
  ☆194Updated 8 years ago
• daschl / hwloc-rs
  This crate provides Rust bindings for the Open MPI Portable Hardware Locality "hwloc" library
  ☆90Updated 4 years ago
• kernkonzept / uvmm
  Virtual machine monitor for L4Re
  ☆33Updated last week
• uni-rs / uni.rs
  Unikernel written in rust
  ☆33Updated 9 years ago