SeL4 on RISC-V Verified to Binary Code

This page summarizes the projects mentioned and recommended in the original post on news.ycombinator.com
operating-system Rust Kernel Research Theseus

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.
www.influxdata.com
featured
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com
featured

  • nebulet

    Discontinued (Going to be) A microkernel that implements a WebAssembly "usermode" that runs in Ring 0.

  • Theseus

    Theseus is a modern OS written from scratch in Rust that explores 𝐢𝐧𝐭𝐫𝐚𝐥𝐢𝐧𝐠𝐮𝐚𝐥 𝐝𝐞𝐬𝐢𝐠𝐧: closing the semantic gap between compiler and hardware by maximally leveraging the power of language safety and affine types. Theseus aims to shift OS responsibilities like resource management into the compiler.

  • 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

  • Theseus OS

    1 project | news.ycombinator.com | 23 Oct 2023

  • Making a RISC-V Operating System Using Rust

    2 projects | news.ycombinator.com | 14 Jun 2023

  • Linux kernel use-after-free in Netfilter, local privilege escalation

    1 project | news.ycombinator.com | 10 May 2023

  • Need help for porting my kernel to different architectures.

    2 projects | /r/osdev | 27 Mar 2023

  • Exploiting null-dereferences in the Linux kernel

    1 project | news.ycombinator.com | 19 Jan 2023