Alternatives and similar repositories for rust-sel4

Users that are interested in rust-sel4 are comparing it to the libraries listed below

• nbdd0121 / unwinding
  Stack unwinding library in Rust
  ☆120Updated this week
• hermit-os / loader
  The Hermit bootloader.
  ☆77Updated last week
• auxoncorp / ferros
  A Rust-based userland which also adds compile-time assurances to seL4 development.
  ☆116Updated last year
• rust-embedded-community / tinyrlibc
  Tiny C library written in Rust
  ☆59Updated 6 months ago
• seL4 / microkit
  Microkit - A simple operating system framework for the seL4 microkernel
  ☆124Updated 3 weeks ago
• rust-embedded / qemu-exit
  Exit QEMU with user-defined code
  ☆48Updated last month
• hermit-os / uhyve
  A specialized hypervisor for Hermit.
  ☆265Updated this week
• Rust-for-Linux / klint
  Lints for kernel or embedded system development.
  ☆109Updated last week
• Amanieu / mini-backtrace
  Backtrace support for Rust `no_std` and embedded programs.
  ☆48Updated 2 years ago
• rcore-os / virtio-drivers
  VirtIO guest drivers in Rust.
  ☆263Updated last month
• sunfishcode / c-ward
  An implementation of libc written in Rust
  ☆292Updated last month
• Amanieu / minicov
  Code coverage support for Rust `no_std` and embedded programs
  ☆57Updated 7 months ago
• rust-embedded / aarch64-cpu
  Low level access to processors using the AArch64 execution state.
  ☆84Updated 7 months ago
• rcore-os / buddy_system_allocator
  A buddy system allocator in pure Rust.
  ☆107Updated 8 months ago
• syswonder / ruxos
  Rust Unikernel OS
  ☆79Updated this week
• StardustOS / stardust-oxide
  Rust-based Unikernel
  ☆126Updated last year
• rust-vmm / vmm-reference
  A VMM implementation based of rust-vmm components
  ☆152Updated 9 months ago
• rustsbi / standalone
  Rapid prototyping and selection package for pure-Rust RISC-V firmware, with RustSBI + UEFI or RustSBI + LinuxBoot
  ☆27Updated 8 months ago
• repnop / fdt
  Rust crate for Flattened Devicetree parsing
  ☆48Updated 5 months ago
• Evian-Zhang / static-keys
  Static keys for Rust userland applications
  ☆58Updated 4 months ago
• mit-pdos / RVirt
  RISC-V hypervisor written in Rust
  ☆360Updated 5 years ago
• IoTS-P / trustzone-m-rs
  Rust TrustZone-M application
  ☆52Updated 2 years ago
• yavko / yavkOS
  Operating system based off of blog_os, with the goal of running wasm modules as executables
  ☆23Updated 2 years ago
• kevin-lesenechal / elf-info
  Inspect and dissect an ELF file with pretty formatting.
  ☆107Updated last year
• r3-os / r3
  R3-OS — Experimental static (μITRON-esque) RTOS kernel for deeply embedded systems, testing the limit of Rust's compile-time evaluation a…
  ☆167Updated 2 years ago
• au-ts / lionsos
  A secure, fast, and adaptable OS based on the seL4 microkernel
  ☆136Updated this week
• rafalh / rust-fatfs
  A FAT filesystem library implemented in Rust.
  ☆339Updated 3 months ago
• diodesign / diosix
  A lightweight, secure, multiprocessor bare-metal hypervisor written in Rust for RISC-V
  ☆196Updated 5 months ago
• oxidecomputer / phbl
  Pico Host Boot Loader
  ☆111Updated last week
• Rust-for-Linux / pin-init
  Library facilitating safe pinned initialization
  ☆41Updated last week