Rust embedded things running on the seL4 microkernel for the Raspberry Pi 3
rust gpu graphics gpu-memory rpi3 aarch64 dma raspberry-pi-3 sel4 rust-embedded embedded-hal fel4 sel4-microkernel cargo-fel4
- Updated
Dec 8, 2018 - Rust
#
sel4-microkernel
Here are 3 public repositories matching this topic...
KaaL: seL4 inspired Kernel-as-a-Library framework for quickly building operating systems.
- Updated
Oct 24, 2025 - Rust
A rust runtime for sel4, based on selfe-sys and sel4-runtime
- Updated
Nov 5, 2023 - Rust
Improve this page
Add a description, image, and links to the sel4-microkernel topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the sel4-microkernel topic, visit your repo's landing page and select "manage topics."