seL4 / rust-sel4Links
Rust support for seL4 userspace
☆163Updated last month
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 last week
- Stack unwinding library in Rust☆126Updated 3 weeks ago
- A specialized hypervisor for Hermit.☆271Updated this week
- Caliptra software (ROM, FMC, runtime firmware), and libraries/tools needed to build and test☆122Updated this week
- A Rust-based userland which also adds compile-time assurances to seL4 development.☆118Updated 2 years ago
- Rust-based Unikernel☆126Updated last year
- Lints for kernel or embedded system development.☆113Updated last week
- Exit QEMU with user-defined code☆48Updated 3 months ago
- Tiny C library written in Rust☆61Updated 8 months ago
- An implementation of libc written in Rust☆295Updated 3 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
- A VMM implementation based of rust-vmm components☆153Updated 11 months ago
- Overview of the Tree Borrows rules for detecting violations of the aliasing discipline in Rust☆26Updated last year
- Constant-time dynamic memory allocator in Rust☆104Updated 2 months ago
- Rust crate for Flattened Devicetree parsing☆49Updated 7 months ago
- Low level access to processors using the AArch64 execution state.☆92Updated 9 months ago
- Useful types for dealing with PCI☆33Updated 10 months ago
- Microkit - A simple operating system framework for the seL4 microkernel☆130Updated this week
- RISC-V OS written in Rust☆142Updated last year
- Pico Host Boot Loader☆111Updated last month
- ☆230Updated last year
- Provides easy-to-use Linux seccomp-bpf jailing.☆93Updated 3 weeks ago
- Dust your Rust with USDT probes☆110Updated last week
- A lightweight, secure, multiprocessor bare-metal hypervisor written in Rust for RISC-V☆198Updated 7 months ago
- A FAT filesystem library implemented in Rust.☆341Updated 5 months ago
- Minimal support for uart_16550 serial output.☆37Updated 3 weeks ago
- A buddy system allocator in pure Rust.☆111Updated 11 months ago
- Inspect and dissect an ELF file with pretty formatting.☆114Updated last year
- ☆90Updated last year