fel4

There are 0 repository under fel4 topic.

jonlamb-gh / rpi3-rust-fel4-workspace
Rust embedded things running on the seL4 microkernel for the Raspberry Pi 3
sel4 sel4-microkernel fel4 aarch64 cargo-fel4 rust rust-embedded raspberry-pi-3 dma gpu embedded-hal rpi3 gpu-memory graphics
Language:Rust 6
jonlamb-gh / solox-amp-rust
AMP experiments in feL4 (seL4/Rust) on SoloX ARM SoC (A9 + M4)
rust rust-embedded sel4 fel4 imx6 arm openamp-rpmsg cortex-m4 cortex-a9 no-std
Language:Rust 5
jonlamb-gh / sel4twinkle-alloc-rs
An experimental Rust port of libsel4twinkle allocator
rust rust-embedded sel4 fel4
Language:Rust