The Lions Operating System

209•plunderer•2mo ago

Comments

cjs_ac•2mo ago

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•2mo ago

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

kragen•2mo ago

That's also where John Lions taught.

skavi•2mo ago

    John Lions is not Lions OS
       is not        is not
         Clancy the Lion

imvetri•2mo ago

What does mascot mean

saithound•2mo ago

A mascot is an animal figure that represents a product or sports team. For example, the penguin named Tux is the mascot of Linux, and the mascot for the Brisbane Broncos rugby team is the horse named Buck the Bronco.

Mascot is, unrelatedly, also a suburb of Sydney.

mlinksva•2mo ago

It is https://www.youtube.com/watch?v=W8Ka_8kHTj4&t=903s

woolion•2mo ago

The mascot it super cute lion too. How can a project do everything so right? I was browsing some popular python libraries and they just slapped on the first image they got out of ChatGPT. It's nice to see care in the craft.

mzs•2mo ago

aka the Lions book

snvzz•2mo ago

Not presumably, but explicitly. Both in documentation and presentations by seL4 they consistently make a point to mention so.

spencerflem•2mo ago

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

Y_Y•2mo ago

Unequal

panick21_•2mo ago

Genode is a framework that can run on many places and on higher level has its own abstractions. Lion OS is based on Microkit the framework developed by the seL4 people that will also be verified. So Lion OS/Microkit is basically the outgrowth of the original seL4 research.

lproven•2mo ago

> Genode, another OS that runs on SeL4.

Hang on, what? Genode can run on seL4 but seL4 is not part of it. Genode can also run on Linux and a bunch of other things. It has its own native kernel and it's not based on seL4 in any way, AFAIK.

spencerflem•2mo ago

No, you’re totally right I phrased it badly

snvzz•2mo ago

On recent news, LionsOS, as of about a week ago (I got notified via their announcement maillist), includes a router/firewall scenario[0].

Do not miss Gernot Heiser's recent talk[1] at the seL4 Summit, where among other things he shows seL4 massively outperforming Linux in a web server scenario.

0. https://lionsos.org/docs/examples/firewall/

1. https://youtu.be/wP48V34lDhk

amelius•2mo ago

Mountain Lion is calling and wants its name back.

CursedSilicon•2mo ago

You mean OS X 10.7 Lion?

lproven•2mo ago

10.8 was Mountain Lion.

But before OS X was OS 9, and OS 9 was not the same thing as OS-9.

https://apple.fandom.com/wiki/Mac_OS_9

https://microware.com/

Before OS 9 was OS 8, which was unrelated to OS/8.

https://apple.fandom.com/wiki/Mac_OS_8

https://gunkies.org/wiki/OS/8

Names overlap. The hommage in this one is fairly clear, I think.

CursedSilicon•2mo ago

This is "The Lions" operating system, not "The Mountain Lions" operating system

Ergo it would be 10.7 Lion, no?

lproven•2mo ago

Yes, that is indeed what I was getting at. I could have made it clearer by replying to the same parent comment as you. Sorry about that.

fithisux•2mo ago

Aussies were supposed to progress with Darbat.

It never happened.

fifticon•2mo ago

if you rearrange the letters, you get the Linos OS.

pjmlp•2mo ago

While folks keep discussing C vs Rust, what got my attention was MicroPython and Pancake (https://trustworthy.systems/projects/pancake).

mhd•2mo ago

When I read about Pancake, for a very short moment I was hoping for some Elan[1] influences…

1: https://os.inf.tu-dresden.de/L4/l3elan.html

pjmlp•2mo ago

Cool, thanks for the link.

bolangi•2mo ago

For a short while, I ran the Eumel operating system and wrote an application in Elan. Among other interesting properties, files weren't saved, but were checkpointed by the OS. I enjoyed this exercise, although Eumel remained a very small niche.

johnisgood•2mo ago

I have not heard of Pancake, seems interesting. It led me to https://cakeml.org. Looking at https://github.com/CakeML/cakeml/blob/3194e00b69ce817cf47751..., I feel quite dumb. :P

fithisux•2mo ago

"but contains composable components for creating custom operating systems that are specific to a particular task"

like reviving OSfree aka 64bit OS/2

Propelloni•2mo ago

It's an OS built around a verified and formally proofed L4 kernel, ie. a microkernel like QNX or MACH. The L4 is a venerable design reaching back at least 25 years, if not longer. It has seen commercial and research uses, e.g. the SIMKO3 mobile phones or the Fiasco distribution. The term "task" is specific here. Running Linux as a custom operating system is a task in microkernel lingo.

fithisux•2mo ago

OSFree is developed on top of L4.

dctoedt•2mo ago

My first thought was to wonder whether it was a Linux offshoot.

peterisza•2mo ago

Finally an OS that is really an OS and not a linux distro

mikewarot•2mo ago

>It is not a conventional operating system, but contains composable components for creating custom operating systems that are specific to a particular task. Components are joined together using the Microkit tool.

Unfortunately, like Genode, this approach yields something that is interesting, but can't be a daily driver for me. 8(

Meanwhile, the US national security continues its downhill slide because we've chosen operating systems based on ambient authority.

GPT-5.3-Codex System Card [pdf]

Atlas: Manage your database schema as code

Geist Pixel

Show HN: MCP to get latest dependency package and tool versions

The better you get at something, the harder it becomes to do

Show HN: WP Float – Archive WordPress blogs to free static hosting

Show HN: I Hacked My Family's Meal Planning with an App

Sony BMG copy protection rootkit scandal

The Future of Systems

NASA now allowing astronauts to bring their smartphones on space missions

Claude Code Is the Inflection Point

Show HN: MicroClaw – Agentic AI Assistant for Telegram, Built in Rust

Show HN: Omni-BLAS – 4x faster matrix multiplication via Monte Carlo sampling

The AI-Ready Software Developer: Conclusion – Same Game, Different Dice

AI Agent Automates Google Stock Analysis from Financial Reports

Voxtral Realtime 4B Pure C Implementation

I Was Trapped in Chinese Mafia Crypto Slavery [video]

U.S. CBP Reported Employee Arrests (FY2020 – FYTD)

Show HN: I built a free UCP checker – see if AI agents can find your store

Show HN: SVGV – A Real-Time Vector Video Format for Budget Hardware

Study of 150 developers shows AI generated code no harder to maintain long term

Spotify now requires premium accounts for developer mode API access

When Albert Einstein Moved to Princeton

Agents.md as a Dark Signal

System time, clocks, and their syncing in macOS

McCLIM and 7GUIs – Part 1: The Counter

So whats the next word, then? Almost-no-math intro to transformer models

Ed Zitron: The Hater's Guide to Microsoft

UK infants ill after drinking contaminated baby formula of Nestle and Danone

Show HN: Android-based audio player for seniors – Homer Audio Player

GPT-5.3-Codex System Card [pdf]

Atlas: Manage your database schema as code

Geist Pixel

Show HN: MCP to get latest dependency package and tool versions

The better you get at something, the harder it becomes to do

Show HN: WP Float – Archive WordPress blogs to free static hosting

Show HN: I Hacked My Family's Meal Planning with an App

Sony BMG copy protection rootkit scandal

The Future of Systems

NASA now allowing astronauts to bring their smartphones on space missions

Claude Code Is the Inflection Point

Show HN: MicroClaw – Agentic AI Assistant for Telegram, Built in Rust

Show HN: Omni-BLAS – 4x faster matrix multiplication via Monte Carlo sampling

The AI-Ready Software Developer: Conclusion – Same Game, Different Dice

AI Agent Automates Google Stock Analysis from Financial Reports

Voxtral Realtime 4B Pure C Implementation

I Was Trapped in Chinese Mafia Crypto Slavery [video]

U.S. CBP Reported Employee Arrests (FY2020 – FYTD)

Show HN: I built a free UCP checker – see if AI agents can find your store

Show HN: SVGV – A Real-Time Vector Video Format for Budget Hardware

Study of 150 developers shows AI generated code no harder to maintain long term

Spotify now requires premium accounts for developer mode API access

When Albert Einstein Moved to Princeton

Agents.md as a Dark Signal

System time, clocks, and their syncing in macOS

McCLIM and 7GUIs – Part 1: The Counter

So whats the next word, then? Almost-no-math intro to transformer models

Ed Zitron: The Hater's Guide to Microsoft

UK infants ill after drinking contaminated baby formula of Nestle and Danone

Show HN: Android-based audio player for seniors – Homer Audio Player

The Lions Operating System

Comments