Open sourced: Easier builds and stronger types for seL4 with Rust

This page summarizes the projects mentioned and recommended in the original post on /r/rust
Rust sel4 userland

InfluxDB
Our great sponsors
  • InfluxDB - Power Real-Time Data Analytics at Scale
  • WorkOS - The modern identity platform for B2B SaaS
  • SaaSHub - Software Alternatives and Reviews
Our great sponsors

  • ferros

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

    • On top of that is ferros (no relation to to ferrous-systems), a higher-level userland of unreasonably strong types for compile-time resource tracking. No more discovering you need more memory, or capability slots or IPC rights at runtime. These types help you fit the right seL4 screw to the right seL4 screwdriver.

  • selfe-sys

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

    • (Btw. both your links point to the ferros repo, I guess you intended the first one to be this.)

  • InfluxDB

    Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.

    InfluxDB logo
NOTE: The number of mentions on this list indicates mentions on common posts plus user suggested alternatives. Hence, a higher number means a more popular project.

Suggest a related project

Related posts