seL4 / rust-sel4Links
Rust support for seL4 userspace
☆166Updated 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:
- Stack unwinding library in Rust☆126Updated 2 months ago
- The Hermit bootloader.☆79Updated last week
- Lints for kernel or embedded system development.☆113Updated last week
- A specialized hypervisor for Hermit.☆274Updated last week
- Caliptra software (ROM, FMC, runtime firmware), and libraries/tools needed to build and test☆127Updated this week
- Exit QEMU with user-defined code☆50Updated 3 weeks ago
- A Rust-based userland which also adds compile-time assurances to seL4 development.☆118Updated 2 years ago
- Rust-based Unikernel☆125Updated last year
- Rust crate for Flattened Devicetree parsing☆50Updated 8 months ago
- Backtrace support for Rust `no_std` and embedded programs.☆48Updated 2 years ago
- Low level access to processors using the AArch64 execution state.☆92Updated 10 months ago
- A VMM implementation based of rust-vmm components☆153Updated last year
- Pico Host Boot Loader☆112Updated 3 weeks ago
- Minimal support for uart_16550 serial output.☆38Updated 2 months ago
- Microkit - A simple operating system framework for the seL4 microkernel☆136Updated last week
- Useful types for dealing with PCI☆33Updated 11 months ago
- RISC-V OS written in Rust☆141Updated last year
- Overview of the Tree Borrows rules for detecting violations of the aliasing discipline in Rust☆26Updated last year
- An implementation of libc written in Rust☆301Updated 5 months ago
- Inspect and dissect an ELF file with pretty formatting.☆115Updated last year
- Provides easy-to-use Linux seccomp-bpf jailing.☆98Updated last month
- Dust your Rust with USDT probes☆118Updated this week
- RISC-V hypervisor written in Rust☆363Updated 5 years ago
- ☆231Updated last year
- 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
- Code coverage support for Rust `no_std` and embedded programs☆60Updated 10 months ago
- Miralis is a RISC-V firmware that virtualizes RISC-V firmware☆35Updated 3 weeks ago
- Tiny C library written in Rust☆61Updated 10 months ago
- Operating system based off of blog_os, with the goal of running wasm modules as executables