humenda / rustl4re

Related projects ⓘ

Alternatives and complementary repositories for rustl4re

• rasendubi / bkernel
  Experimental kernel for embedded devices written in Rust
  ☆89Updated 2 years ago
• eholk / Boot2Rust
  EFI applications in Rust
  ☆205Updated 9 years ago
• redox-os / drivers
  Mirror of https://gitlab.redox-os.org/redox-os/drivers
  ☆50Updated last week
• QuiltOS / QuiltOS
  A language-based OS to run Rust on bare metal
  ☆82Updated 8 years ago
• CRust-OS / CRust-OS
  Xen-based unikernel in Rust
  ☆56Updated 7 years ago
• esjeon / musl-clang
  A clang wrapper for musl C library. Pretty hacky, I know.
  ☆34Updated 9 years ago
• QuiltOS / QuiltNet
  A network stack in pure Rust
  ☆55Updated 8 years ago
• kernkonzept / uvmm
  Virtual machine monitor for L4Re
  ☆28Updated last week
• alexcrichton / rlibc
  ☆78Updated 6 years ago
• thestinger / allocator
  experimental high performance, low fragmentation memory allocator
  ☆55Updated 7 years ago
• mvdnes / element76
  A kernel written in Rust
  ☆40Updated 8 months ago
• AveryOS / avery
  x86-64 kernel in Rust
  ☆30Updated 7 years ago
• wbthomason / ironkernel
  A multi-platform kernel written in Rust
  ☆55Updated 6 years ago
• seL4 / sel4-tutorials
  Tutorials for working with seL4 and/or CAmkES.
  ☆52Updated last month
• lowRISC / abicop
  Work towards a "golden model" of the RISC-V calling convention(s)
  ☆10Updated 7 years ago
• faern / rips-old
  Rust IP Stack - A userspace IP stack written in Rust (Work in progress)
  ☆32Updated 7 years ago
• mark-i-m / os2
  x86_64 OS kernel with completely async userspace and single address space [WIP; but basic kernel functionality implemented]
  ☆30Updated 4 years ago
• seL4 / refos
  Prototype no-assurance reference OS personality built on seL4
  ☆49Updated 3 years ago
• redox-os / syscall
  Mirror of https://gitlab.redox-os.org/redox-os/syscall
  ☆33Updated 3 weeks ago
• danluu / secvisor-formal-verification
  Formal verification of SecVisor, a secure hypervisor
  ☆13Updated 11 years ago
• mirage / mini-os
  Mirror of the Xen MiniOS Git from git://xenbits.xen.org/mini-os.git
  ☆63Updated 4 years ago
• diodesign / diosix
  A lightweight, secure, multiprocessor bare-metal hypervisor written in Rust for RISC-V
  ☆191Updated 2 years ago
• IanSeyler / rustboot64
  A tiny 64 bit kernel written in Rust
  ☆51Updated 9 years ago
• kernkonzept / l4re-core
  The core components of the L4Re operating system.
  ☆75Updated last week
• emk / toyos-rs
  Just hacking around on a toy Rust-based on based on the blog posts at http://blog.phil-opp.com/
  ☆86Updated last year
• helena-project / storm.rs
  TockOS - An OS for Embedded Devices
  ☆30Updated 9 years ago
• ids1024 / rust-minix
  WIP Port of Rust's std to Minix
  ☆43Updated 4 years ago