sel4-microkernel
Here are 12 public repositories matching this topic...
seL4 specification and proofs
-
Updated
Jul 24, 2026 - Isabelle
A verified foundation for BEAM applications, based on seL4, Nix and LionsOS.
-
Updated
Jul 16, 2026 - C
Operating System built on top of the seL4 microkernel.
-
Updated
Nov 28, 2021 - C
Rust embedded things running on the seL4 microkernel for the Raspberry Pi 3
-
Updated
Dec 8, 2018 - Rust
🌟Welcome to Newfangled OS 🚀Unveiling the Newfangled Operating System-a remarkable blend of innovation and security built on the impervious seL4 Microkernel.🛡️Our journey began with dedicated servers and a threaded execution model,including File and Process Management servers, and a robust Interrupt Handling thread.🛠️📊Join us in the revolution.
-
Updated
Sep 1, 2023 - C
一个基于 seL4 与 Microkit 的汽车车灯控制演示项目，包含故障生命周期管理、宿主机 测试和 QEMU 端到端验证。
-
Updated
Jun 25, 2026 - C
Lona: This is a read-only mirror! Visit me at https://codeberg.org/sarnowski/lona
-
Updated
Mar 16, 2026 - Rust
seL4 based virtualization for NVIDIA Orin AGX
-
Updated
Dec 23, 2025 - Shell
Improve this page
Add a description, image, and links to the sel4-microkernel topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the sel4-microkernel topic, visit your repo's landing page and select "manage topics."