Alternatives and similar repositories for rust-sel4:

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

• hermit-os / loader
  The Hermit bootloader.
  ☆75Updated this week
• seL4 / microkit
  Microkit - A simple operating system framework for the seL4 microkernel
  ☆117Updated last month
• nbdd0121 / unwinding
  Stack unwinding library in Rust
  ☆118Updated last week
• auxoncorp / ferros
  A Rust-based userland which also adds compile-time assurances to seL4 development.
  ☆115Updated last year
• rcore-os / virtio-drivers
  VirtIO guest drivers in Rust.
  ☆249Updated this week
• rust-osdev / pci_types
  Useful types for dealing with PCI
  ☆33Updated 7 months ago
• rust-embedded / qemu-exit
  Exit QEMU with user-defined code
  ☆47Updated last week
• Rust-for-Linux / klint
  Lints for kernel or embedded system development.
  ☆106Updated last week
• rust-vmm / vmm-reference
  A VMM implementation based of rust-vmm components
  ☆152Updated 8 months ago
• hermit-os / uhyve
  A specialized hypervisor for Hermit.
  ☆263Updated this week
• riscv-rust / riscv-rust-quickstart
  A template for building Rust applications for HiFive1 boards
  ☆213Updated last year
• diodesign / diosix
  A lightweight, secure, multiprocessor bare-metal hypervisor written in Rust for RISC-V
  ☆196Updated 4 months ago
• yvt / rlsf
  Constant-time dynamic memory allocator in Rust
  ☆95Updated last month
• StardustOS / stardust-oxide
  Rust-based Unikernel
  ☆126Updated last year
• Amanieu / minicov
  Code coverage support for Rust `no_std` and embedded programs
  ☆55Updated 6 months ago
• au-ts / lionsos
  A secure, fast, and adaptable OS based on the seL4 microkernel
  ☆133Updated this week
• mit-pdos / RVirt
  RISC-V hypervisor written in Rust
  ☆358Updated 5 years ago
• sunfishcode / c-ward
  An implementation of libc written in Rust
  ☆285Updated last week
• rust-embedded-community / tinyrlibc
  Tiny C library written in Rust
  ☆57Updated 5 months ago
• NathanMcMillan54 / novusk
  A kernel written in Rust
  ☆93Updated 5 months ago
• alilee / rust-osdev-jumpstart
  Rust, cargo and QEMU setup for multi-architecture OS development.
  ☆39Updated 4 years ago
• rust-embedded / aarch64-cpu
  Low level access to processors using the AArch64 execution state.
  ☆81Updated 5 months ago
• repnop / fdt
  Rust crate for Flattened Devicetree parsing
  ☆47Updated 3 months ago
• rust-embedded / cortex-a
  Low level access to Cortex-A processors
  ☆120Updated 2 years ago
• kevin-lesenechal / elf-info
  Inspect and dissect an ELF file with pretty formatting.
  ☆106Updated last year
• Amanieu / mini-backtrace
  Backtrace support for Rust `no_std` and embedded programs.
  ☆48Updated 2 years ago
• rust-embedded / riscv-rt
  Minimal runtime / startup for RISC-V CPU's.
  ☆302Updated last year
• repnop / vanadinite
  RISC-V OS written in Rust
  ☆140Updated 10 months ago
• endorlabs / MIRAI
  ☆140Updated 2 months ago
• rcore-os / buddy_system_allocator
  A buddy system allocator in pure Rust.
  ☆105Updated 7 months ago