Anyone wanna join me in changing out the Linux kernel with seL4? Not running LFS inside a seL4 hypervisor, but actually a native seL4 OS.

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

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

  • genode

    Genode OS Framework

    • Maybe you should go into details a bit more what you are planning and why. There are (and have been) several approaches here. The most prominent might be Genode (https://www.reddit.com/r/genode, https://genode.org) and joining forces there might be a better approach than starting another project that will get lost in the details and complexity eventually.

  • 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

  • Not an iPad Pro Review: Why iPadOS Still Doesn't Get the Basics Right

    3 projects | news.ycombinator.com | 13 May 2024

  • Upstreaming Linux kernel support for the Snapdragon X Elite

    1 project | news.ycombinator.com | 14 May 2024

  • VDO: Userspace tools for pools of deduplicated and compressed block storage

    1 project | news.ycombinator.com | 14 May 2024

  • QBE – Compiler Back End

    2 projects | news.ycombinator.com | 13 May 2024

  • Tuibox – A single-header terminal UI (TUI) library

    1 project | news.ycombinator.com | 14 May 2024