Skip to content(if available)orjump to list(if available)

The Lions Operating System

The Lions Operating System

4 comments

·November 20, 2025

cjs_ac

Presumably named after Associate Professor John Lions[0], of A Commentary on the UNIX Operating System[1] fame.

[0] https://en.wikipedia.org/wiki/John_Lions

[1] https://en.wikipedia.org/wiki/A_Commentary_on_the_UNIX_Opera...

santoshalper

It's developed by UNSW Sydney, whose mascot is a Lion. (Specifically, "Clancy the Lion"), so I am guessing it's probably that.

spencerflem

Very cool! I’m a huge fan of Genode, another OS that runs on SeL4. Does anyone here know how they compare?