Mirror ofhttps://gitlab.redox-os.org/redox-os/redox

• UpdatedMar 17, 2025
• Shell

The seL4 microkernel

• UpdatedMar 17, 2025
• C

Genode OS Framework

• UpdatedMar 14, 2025
• C++

Mirror ofhttps://gitlab.redox-os.org/redox-os/kernel

• UpdatedMar 15, 2025
• Rust

RISC-V Guide. Learn all about the RISC-V computer architecture along with the Development Tools and Operating Systems to develop on RISC-V hardware.

• UpdatedJan 4, 2024
• Assembly

Neptune OS: A Windows NT personality for the seL4 microkernel

• UpdatedFeb 6, 2025
• C

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

• UpdatedDec 12, 2021

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

• UpdatedMay 9, 2024
• Rust

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

• UpdatedJul 25, 2023
• Rust

Basic tools for building seL4 projects

• UpdatedMar 14, 2025
• C

This is the source of the seL4 docs.

• UpdatedMar 17, 2025
• C

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

• UpdatedMar 17, 2025
• Shell

• UpdatedMar 17, 2025
• Python

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

• UpdatedJan 24, 2022
• Rust

Operating System built on top of the seL4 microkernel.

• UpdatedNov 28, 2021
• C

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

• UpdatedJan 11, 2019

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

• UpdatedDec 8, 2018
• Rust

AMP experiments in feL4 (seL4/Rust) on SoloX ARM SoC (A9 + M4)

• UpdatedOct 15, 2018
• Rust

How to create a Hello World seL4 project from scratch

• UpdatedOct 17, 2020
• CMake

A formally verified implementation of a bolt-on security device for ICS networks. Designed with TLA+ and written/proved in F*

• UpdatedJan 11, 2020
• C