There are 0 repository under fel4 topic.
Rust embedded things running on the seL4 microkernel for the Raspberry Pi 3
AMP experiments in feL4 (seL4/Rust) on SoloX ARM SoC (A9 + M4)
An experimental Rust port of libsel4twinkle allocator