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.
  ☆81Updated this week
• hermit-os / uhyve
  A specialized hypervisor for Hermit.
  ☆278Updated this week
• nbdd0121 / unwinding
  Stack unwinding library in Rust
  ☆131Updated 5 months ago
• auxoncorp / ferros
  A Rust-based userland which also adds compile-time assurances to seL4 development.
  ☆119Updated 2 years ago
• Rust-for-Linux / klint
  Lints for kernel or embedded system development.
  ☆135Updated this week
• rust-embedded / qemu-exit
  Exit QEMU with user-defined code
  ☆55Updated last week
• chipsalliance / caliptra-sw
  Caliptra software (ROM, FMC, runtime firmware), and libraries/tools needed to build and test
  ☆133Updated this week
• StardustOS / stardust-oxide
  Rust-based Unikernel
  ☆133Updated last year
• rust-osdev / uart_16550
  Minimal support for uart_16550 serial output.
  ☆41Updated 5 months ago
• repnop / fdt
  Rust crate for Flattened Devicetree parsing
  ☆53Updated last month
• rust-vmm / vmm-reference
  A VMM implementation based of rust-vmm components
  ☆159Updated last year
• AeneasVerif / eurydice
  Eurydice compiles (a decent subset of) Rust to C. Verify programs in Rust, still get C code for legacy environments.
  ☆280Updated last week
• rust-embedded / aarch64-cpu
  Low level access to processors using the AArch64 execution state.
  ☆103Updated last month
• Amanieu / mini-backtrace
  Backtrace support for Rust `no_std` and embedded programs.
  ☆48Updated 2 years ago
• rust-osdev / pci_types
  Useful types for dealing with PCI
  ☆34Updated last month
• Vanille-N / tree-borrows
  Overview of the Tree Borrows rules for detecting violations of the aliasing discipline in Rust
  ☆27Updated last year
• rust-embedded-community / tinyrlibc
  Tiny C library written in Rust
  ☆65Updated last week
• r3-os / r3
  R3-OS — Experimental static RTOS kernel for deeply embedded systems, testing the limit of Rust's compile-time evaluation and generics
  ☆170Updated 2 years ago
• seL4 / microkit
  Microkit - A simple operating system framework for the seL4 microkernel
  ☆164Updated 2 weeks ago
• rust-osdev / linked-list-allocator
  ☆237Updated last year
• yvt / rlsf
  Constant-time dynamic memory allocator in Rust
  ☆111Updated last month
• sunfishcode / c-ward
  An implementation of libc written in Rust
  ☆309Updated 2 months ago
• CharlyCst / miralis
  Miralis is a RISC-V firmware that virtualizes RISC-V firmware
  ☆41Updated this week
• rust-vmm / seccompiler
  Provides easy-to-use Linux seccomp-bpf jailing.
  ☆105Updated last month
• rust-embedded / cortex-a
  Low level access to Cortex-A processors
  ☆122Updated 3 years ago
• rust-osdev / volatile
  ☆92Updated last year
• rcore-os / buddy_system_allocator
  A buddy system allocator in pure Rust.
  ☆125Updated 2 months ago
• rust-lang / project-stable-mir
  Define compiler intermediate representation usable by external tools
  ☆98Updated last month
• tosc-rs / mnemos
  An Operating System for Building Small Computers
  ☆298Updated 11 months ago
• Amanieu / minicov
  Code coverage support for Rust `no_std` and embedded programs
  ☆62Updated last month