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.
  ☆73Updated this week
• Amanieu / mini-backtrace
  Backtrace support for Rust `no_std` and embedded programs.
  ☆48Updated last year
• auxoncorp / ferros
  A Rust-based userland which also adds compile-time assurances to seL4 development.
  ☆110Updated last year
• repnop / fdt
  Rust crate for Flattened Devicetree parsing
  ☆43Updated this week
• rust-embedded-community / tinyrlibc
  Tiny C library written in Rust
  ☆52Updated last month
• rust-embedded / qemu-exit
  Exit QEMU with user-defined code
  ☆41Updated 9 months ago
• nbdd0121 / unwinding
  Stack unwinding library in Rust
  ☆110Updated 3 weeks ago
• 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…
  ☆162Updated last year
• hermit-os / uhyve
  A specialized hypervisor for Hermit.
  ☆259Updated this week
• Rust-for-Linux / klint
  Lints for kernel or embedded system development.
  ☆100Updated last week
• rust-osdev / pci_types
  Useful types for dealing with PCI
  ☆32Updated 3 months ago
• yvt / rlsf
  Constant-time dynamic memory allocator in Rust
  ☆91Updated last year
• rust-embedded / cortex-a
  Low level access to Cortex-A processors
  ☆121Updated 2 years ago
• rust-osdev / uart_16550
  Minimal support for uart_16550 serial output.
  ☆35Updated 2 months ago
• StardustOS / stardust-oxide
  Rust-based Unikernel
  ☆126Updated 11 months ago
• Amanieu / minicov
  Code coverage support for Rust `no_std` and embedded programs
  ☆54Updated 2 months ago
• rust-embedded / aarch64-cpu
  Low level access to processors using the AArch64 execution state.
  ☆77Updated 2 months ago
• seL4 / microkit
  Microkit - A simple operating system framework for the seL4 microkernel
  ☆99Updated last week
• chipsalliance / caliptra-sw
  Caliptra software (ROM, FMC, runtime firmware), and libraries/tools needed to build and test
  ☆99Updated this week
• Rust-for-Linux / pinned-init
  Library facilitating safe pinned initialization
  ☆30Updated last month
• rust-osdev / volatile
  ☆72Updated 7 months ago
• IoTS-P / trustzone-m-rs
  Rust TrustZone-M application
  ☆52Updated last year
• rust-osdev / linked-list-allocator
  ☆226Updated 7 months ago
• repnop / vanadinite
  RISC-V OS written in Rust
  ☆139Updated 7 months ago
• rust-embedded / register-rs
  Unified interface for type-safe MMIO and CPU register access in Rust
  ☆48Updated 3 years ago
• diodesign / diosix
  A lightweight, secure, multiprocessor bare-metal hypervisor written in Rust for RISC-V
  ☆192Updated last week
• rcore-os / buddy_system_allocator
  A buddy system allocator in pure Rust.
  ☆97Updated 3 months ago
• yavko / yavkOS
  Operating system based off of blog_os, with the goal of running wasm modules as executables
  ☆22Updated last year
• riscv-rust / riscv-rust-quickstart
  A template for building Rust applications for HiFive1 boards
  ☆211Updated last year
• dataphract / acid_alloc
  Bare-metal allocators.
  ☆75Updated 2 years ago