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

An experimental operating system built on seL4, featuring concurrent system calls, process and file management, virtual memory, demand paging, and interrupt handling.

Writing Sel4 application in Zig

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

Source for the seL4 white paper

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

seL4 based virtualization for NVIDIA Orin AGX

本科毕业设计