lionsos VS sparrow-manifest

Seems to be this:

https://www.lionsos.org/

https://github.com/au-ts/lionsos

> LionsOS is aimed at embedded, IoT and cyberphysical systems and is designed to be formally verifiable, adaptable to a wide class of use cases in the target domain, while at the same time setting the benchmark for performance of microkernel-based operating systems. We aim to achieve all three goals by a highly modular yet ruthlessly performance-oriented design and strict adherence to the time-honoured KISS principle.

They also announced a new OS called Lions OS: https://github.com/au-ts/lionsos

KataOS is at an early exploratory stage, targeting embedded devices on RISC-V chips. The OS runs on top of seL4 and is written almost entirely in Rust. As per the Google team, KataOS is optimised for network-connected embedded systems running ML applications. The KataOS components rely on an augmented version of seL4's CAmkES framework, an architecture for microkernel-based embedded systems.

But also a shame that the source code is "hidden", the "source code" is at https://github.com/AmbiML/sparrow-manifest which needs "repo" and "camkes" among other stuff

>The Github page for Sparrow is counting RAM usage in megabytes with decimals,

I had to look it up [1] and fact check this statement. Turns out it really is "megabytes with decimals". Amazing!

[1] https://github.com/AmbiML/sparrow-manifest