sel4-microkernel

The seL4 microkernel

seL4 specification and proofs

🗺️ 🧭 Semantic code intelligence

A verified foundation for BEAM applications, based on seL4, Nix and LionsOS.

Open-source, 100% reproducible AI Agent Runtime Security Benchmark & Sandbox Environment (RFC-010 Draft Protocol).

Operating System built on top of the seL4 microkernel.

Rust embedded things running on the seL4 microkernel for the Raspberry Pi 3

🌟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.

Gill is a lightweight, neutral, and independent operating-system project built around the seL4 microkernel. It focuses on simplicity, minimal code, modularity, and efficient system utilities, providing an alternative foundation without relying on traditional Unix philosophy. Gill uses GOSL, a custom license that is currently not OSI-approved.

Writing Sel4 application in Zig

Source for the seL4 white paper

一个基于 seL4 与 Microkit 的汽车车灯控制演示项目，包含故障生命周期管理、宿主机 测试和 QEMU 端到端验证。

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

seL4 based virtualization for NVIDIA Orin AGX

本科毕业设计