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

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

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

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

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

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

Rust seL4 toy system built on ferros for the imx6 sabrelite platform

A Cargo subcommand for working with feL4 projects.

A rust runtime for sel4, based on selfe-sys and sel4-runtime

Test-runner support libraries for ferros.

Building seL4 and generating Rust bindings based on feL4 configuration

A feL4 test project (Rust on seL4) - armv7 imx6 sabre lite

Parsing, transformation and validation for feL4 configuration data

An experimental Rust port of libsel4twinkle allocator