seL4 / rust-sel4Links
Rust support for seL4 userspace
☆162Updated 3 weeks ago
Alternatives and similar repositories for rust-sel4
Users that are interested in rust-sel4 are comparing it to the libraries listed below
Sorting:
- The Hermit bootloader.☆78Updated this week
- Stack unwinding library in Rust☆126Updated this week
- Exit QEMU with user-defined code☆48Updated 3 months ago
- A Rust-based userland which also adds compile-time assurances to seL4 development.☆118Updated 2 years ago
- Caliptra software (ROM, FMC, runtime firmware), and libraries/tools needed to build and test☆120Updated this week
- Tiny C library written in Rust☆60Updated 8 months ago
- Microkit - A simple operating system framework for the seL4 microkernel☆128Updated last week
- A specialized hypervisor for Hermit.☆271Updated this week
- Rust-based Unikernel☆126Updated last year
- Lints for kernel or embedded system development.☆113Updated this week
- A VMM implementation based of rust-vmm components☆153Updated 10 months ago
- Backtrace support for Rust `no_std` and embedded programs.☆48Updated 2 years ago
- R3-OS — Experimental static (μITRON-esque) RTOS kernel for deeply embedded systems, testing the limit of Rust's compile-time evaluation a…☆168Updated 2 years ago
- Miralis is a RISC-V firmware that virtualizes RISC-V firmware☆30Updated this week
- Minimal support for uart_16550 serial output.☆36Updated last week
- A FAT filesystem library implemented in Rust.☆341Updated 4 months ago
- Useful types for dealing with PCI☆33Updated 9 months ago
- Rust crate for Flattened Devicetree parsing☆49Updated 6 months ago
- Inspect and dissect an ELF file with pretty formatting.☆114Updated last year
- Low level access to processors using the AArch64 execution state.☆88Updated 8 months ago
- A buddy system allocator in pure Rust.☆111Updated 10 months ago
- Constant-time dynamic memory allocator in Rust☆104Updated last month
- Overview of the Tree Borrows rules for detecting violations of the aliasing discipline in Rust☆26Updated last year
- RISC-V OS written in Rust☆141Updated last year
- Operating system based off of blog_os, with the goal of running wasm modules as executables☆24Updated 2 years ago
- Low level access to Cortex-A processors☆119Updated 2 years ago
- An implementation of libc written in Rust☆296Updated 3 months ago
- ☆89Updated last year
- A lightweight, secure, multiprocessor bare-metal hypervisor written in Rust for RISC-V☆197Updated 6 months ago
- ☆77Updated 2 years ago