[concept] Modular kernel

This page summarizes the projects mentioned and recommended in the original post on /r/osdev

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

    Rhai - An embedded scripting language for Rust.

  • The OS would be built in Rust and the module system could be made using ELF executibles (fast, but it could be really hard to implement modules to communicate with the kernel), WASM (can compile from many languages, slower but not too slow, APIs can be simple enough to implement if the correct VM is choses) or even a custom scripting language like rhai (slower, but best way for the implementation [way to connect modules and kernel]).

  • 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.

  • Not to rain on your parade, but you've essentially just described Theseus OS.

  • 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