sel4 开源项目推荐（74 个）

redox-os /redox

https://gitlab.redox-os.org/redox-os/redox镜子

seL4 /seL4

The seL4 microkernel

genodelabs /genode

Genode操作系统框架（已迁移到https：//codeberg.org/genodelsb/genode）

redox-os /kernel

Mirror of https://gitlab.redox-os.org/redox-os/kernel

mikeroyal /RISC-V-Guide

RISC-V 指南。全面了解 RISC-V 计算机架构，以及用于在 RISC-V 硬件上开发的开发工具和操作系统。

cl91 /NeptuneOS

Neptune OS: A Windows NT-like operating system built on the seL4 microkernel

awesomo4000 /awesome-provable

A curated set of links to formal methods involving provable code.

veracruz-project /veracruz

Main repository for the Veracruz privacy-preserving compute project, an adopted project of the Confidential Compute Consortium (CCC).

auxoncorp /ferros

A Rust-based userland which also adds compile-time assurances to seL4 development.

seL4 /seL4_tools

Basic tools for building seL4 projects

seL4 /docs

This is the source of the seL4 docs.

seL4 /graph-refine

该项目在 GitHub 上没有填写描述

Top-Celestial-Company-Ltd /DROS-VajraClaw-Hacker

⚡ DROS™ VajraClaw (Hacker Edition): Free Multi-Agent Runtime Security & Docker Governance Gateway with W3C DID & <1μs Enforcement

seL4 /seL4-CAmkES-L4v-dockerfiles

Dockerfiles defining the dependencies required to build seL4, CAmkES, and L4v.

auxoncorp /selfe-sys

A generated thin wrapper around libsel4.a, with supporting subcrates.

byzantine-systems /chrysopolis

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

manu88 /Sofa

Operating System built on top of the seL4 microkernel.

azerothl /akasha-os

Agent-native OS with capability-based security, semantic IPC, and first-class GPU. Offline-first. Preview on Windows/Linux (NVIDIA).

dornerworks /sel4-armv8-vmm-manifest

A manifest that allows one to build virtualized seL4 for zcu102 and i.MX8

jonlamb-gh /rpi3-rust-fel4-workspace

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