seL4 / rust-sel4Links
Rust support for seL4 userspace
☆182Updated 2 months 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.☆82Updated this week
- Lints for kernel or embedded system development.☆139Updated this week
- Stack unwinding library in Rust☆132Updated last week
- A Rust-based userland which also adds compile-time assurances to seL4 development.☆120Updated 2 years ago
- A specialized hypervisor for Hermit.☆278Updated this week
- Exit QEMU with user-defined code☆56Updated 3 weeks ago
- Caliptra software (ROM, FMC, runtime firmware), and libraries/tools needed to build and test☆135Updated this week
- Rust-based Unikernel☆133Updated 2 years ago
- Low level access to processors using the AArch64 execution state.☆104Updated last month
- A VMM implementation based of rust-vmm components☆160Updated last year
- R3-OS — Experimental static RTOS kernel for deeply embedded systems, testing the limit of Rust's compile-time evaluation and generics☆170Updated 2 years ago
- Minimal support for uart_16550 serial output.☆43Updated 6 months ago
- Microkit - A simple operating system framework for the seL4 microkernel☆169Updated last week
- Backtrace support for Rust `no_std` and embedded programs.☆48Updated 2 years ago
- Rust crate for Flattened Devicetree parsing☆54Updated 3 weeks ago
- Provides easy-to-use Linux seccomp-bpf jailing.☆104Updated 2 months ago
- Pico Host Boot Loader☆117Updated this week
- ☆92Updated last year
- An implementation of libc written in Rust☆311Updated last week
- Status Reports☆68Updated last week
- Overview of the Tree Borrows rules for detecting violations of the aliasing discipline in Rust☆27Updated last year
- Constant-time dynamic memory allocator in Rust☆111Updated last month
- Tiny C library written in Rust☆66Updated 3 weeks ago
- ☆77Updated 2 years ago
- Useful types for dealing with PCI☆34Updated 2 months ago
- Inspect and dissect an ELF file with pretty formatting.☆116Updated last year
- A lightweight, secure, multiprocessor bare-metal hypervisor written in Rust for RISC-V☆200Updated last year
- A buddy system allocator in pure Rust.☆129Updated 2 weeks ago
- ☆238Updated last year
- Dust your Rust with USDT probes☆131Updated last week