jonlamb-gh / rpi3-rust-fel4-workspace Star 6 Code Issues Pull requests 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
chunky125 / sel-claw Star 0 Code Issues Pull requests A rust runtime for sel4, based on selfe-sys and sel4-runtime rust sel4 sel4-microkernel Updated Nov 5, 2023 Rust