fel4

Here are 3 public repositories matching this 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

Add a description, image, and links to the fel4 topic page so that developers can more easily learn about it.

To associate your repository with the fel4 topic, visit your repo's landing page and select "manage topics."