seL4 / rust-sel4

Related projects ⓘ

Alternatives and complementary repositories for rust-sel4

• hermit-os / loader
  The Hermit bootloader.
  ☆70Updated this week
• Rust-for-Linux / klint
  Lints for kernel or embedded system development.
  ☆97Updated last week
• Amanieu / mini-backtrace
  Backtrace support for Rust `no_std` and embedded programs.
  ☆46Updated 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…
  ☆160Updated last year
• rcore-os / virtio-drivers
  VirtIO guest drivers in Rust.
  ☆215Updated 2 weeks ago
• auxoncorp / ferros
  A Rust-based userland which also adds compile-time assurances to seL4 development.
  ☆108Updated last year
• rust-embedded / aarch64-cpu
  Low level access to processors using the AArch64 execution state.
  ☆73Updated last week
• hermit-os / uhyve
  A specialized hypervisor for Hermit.
  ☆256Updated this week
• StardustOS / stardust-oxide
  Rust-based Unikernel
  ☆124Updated 9 months ago
• rust-embedded / qemu-exit
  Exit QEMU with user-defined code
  ☆41Updated 7 months ago
• rust-embedded-community / tinyrlibc
  Tiny C library written in Rust
  ☆51Updated last week
• seL4 / microkit
  Microkit - A simple operating system framework for the seL4 microkernel
  ☆87Updated 2 weeks ago
• nbdd0121 / unwinding
  Stack unwinding library in Rust
  ☆107Updated 3 weeks ago
• oxidecomputer / phbl
  Pico Host Boot Loader
  ☆102Updated 2 weeks ago
• 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.
  ☆33Updated last week
• repnop / vanadinite
  RISC-V OS written in Rust
  ☆139Updated 5 months ago
• mit-pdos / RVirt
  RISC-V hypervisor written in Rust
  ☆349Updated 4 years ago
• repnop / fdt
  Rust crate for Flattened Devicetree parsing
  ☆41Updated last month
• kevin-lesenechal / elf-info
  Inspect and dissect an ELF file with pretty formatting.
  ☆97Updated 8 months ago
• rustsbi / standalone
  Rapid prototyping and selection package for pure-Rust RISC-V firmware, with RustSBI + UEFI or RustSBI + LinuxBoot
  ☆25Updated last month
• chipsalliance / caliptra-sw
  Caliptra software (ROM, FMC, runtime firmware), and libraries/tools needed to build and test
  ☆94Updated this week
• diodesign / diosix
  A lightweight, secure, multiprocessor bare-metal hypervisor written in Rust for RISC-V
  ☆192Updated 2 years ago
• Vanille-N / tree-borrows
  Overview of the Tree Borrows rules for detecting violations of the aliasing discipline in Rust
  ☆23Updated 7 months ago
• rcore-os / trapframe-rs
  Handle TrapFrame across kernel and user space on multiple ISAs.
  ☆31Updated 4 months ago
• dataphract / acid_alloc
  Bare-metal allocators.
  ☆75Updated 2 years ago
• yavko / yavkOS
  Operating system based off of blog_os, with the goal of running wasm modules as executables
  ☆22Updated last year
• embassy-rs / ekv
  Key-value store for embedded systems, for raw NOR flash, using an LSM-Tree.
  ☆77Updated last week
• rust-embedded / embedonomicon
  How to bootstrap support for a no_std target
  ☆208Updated 7 months ago
• Rust-GCC / Reporting
  Status Reports
  ☆60Updated this week