Sparrow-kernel Alternatives

Similar projects and alternatives to sparrow-kernel

l4v

15 490 9.6 Isabelle sparrow-kernel VS l4v

seL4 specification and proofs
camkes-tool

1 29 5.6 Python sparrow-kernel VS camkes-tool

The main CAmkES tool
InfluxDB

www.influxdata.com featured

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.

NOTE: The number of mentions on this list indicates mentions on common posts plus user suggested alternatives. Hence, a higher number means a better sparrow-kernel alternative or higher similarity.

Suggest an alternative to sparrow-kernel

sparrow-kernel reviews and mentions

Posts with mentions or reviews of sparrow-kernel. We have used some of these posts to build our list of alternatives and similar projects. The last one was on 2022-10-16.

Google Announces KataOS and Sparrow
3 projects | news.ycombinator.com | 16 Oct 2022

Yes, especially 'logically impossible' when you dig into the details. From the blogpost:
> and the kernel modifications to seL4 that can reclaim the memory used by the rootserver.
MMMMMMMMMMMkkkkkk. So you then have to ask: were these changes also formally verified? There's a metric ton of kernel changes here: https://github.com/AmbiML/sparrow-kernel/commits/sparrow but I don't see a fork of https://github.com/seL4/l4v anywhere inside AmbiML.
I mean, it does also claim to be "almost entirely written in Rust", which is true if you ignore almost the entire OS part of the OS (the kernel and the minimal seL4 runtime).