We've started a RISC-V64 Microkernel OS Project called "Generisc". We're gonna redo eveything an OS is with the "end" goal of a fully fledged running web-browser. Anybody wanna come aboard. Support and ideas is enough. No need for coding if you don't have time, just interest and feedback is good

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

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

  • Generisc

    A microkernel Operating system written- and using only C code. The aim is to have maximum correctness in the code, and for the OS to be as reliable and minimal as possible. Everything possible should be in sandboxes/jails, with a "snapshotter" to fall back to last stable state. All of the parts in the OS will have generic names. The target platform is first the RISC-V 64-bit.

    • GitHub repo: https://github.com/RISC-V-Microkernel-OS/Generisc

  • genode

    Genode OS Framework

  • WorkOS

    The modern identity platform for B2B SaaS. The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.

    WorkOS 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