sel4-microkernel

Here are 3 public repositories matching this topic...

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

KaaL: seL4 inspired Kernel-as-a-Library framework for quickly building operating systems.

Lona: This is a read-only mirror! Visit me at https://codeberg.org/sarnowski/lona

rust clojure erlang elixir lisp erlang-otp sel4 sel4-microkernel

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

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