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.

Di.day is a movement to encourage people to ditch Big Tech

Show HN: AI generated personal affirmations playing when your phone is locked

Show HN: GTM MCP Server- Let AI Manage Your Google Tag Manager Containers

Launch of X (Twitter) API Pay-per-Use Pricing

Facebook seemingly randomly bans tons of users

Global Bird Count

What Is Ruliology?

Jon Stewart – One of My Favorite People – What Now? With Trevor Noah Podcast [video]

P2P crypto exchange development company

Vocal Guide – belt sing without killing yourself

Write for Your Readers Even If They Are Agents

Knowledge-Creating LLMs

Maple Mono: Smooth your coding flow

Sid Meier's System for Real-Time Music Composition and Synthesis

Show HN: Slop News – HN front page now, but it's all slop

Show HN: Empusa – Visual debugger to catch and resume AI agent retry loops

Show HN: Bitcoin wallet on NXP SE050 secure element, Tor-only open source

White House Explores Opening Antitrust Probe on Homebuilders

Show HN: MindDraft – AI task app with smart actions and auto expense tracking

How do you estimate AI app development costs accurately?

Going Through Snowden Documents, Part 5

Show HN: MCP Server for TradeStation

Canada unveils auto industry plan in latest pivot away from US

The essential Reinhold Niebuhr: selected essays and addresses

Rentahuman.ai Turns Humans into On-Demand Labor for AI Agents

StovexGlobal – Compliance Gaps to Note

Show HN: Afelyon – Turns Jira tickets into production-ready PRs (multi-repo)

Trump says America should move on from Epstein – it may not be that easy

Tiny Clippy – A native Office Assistant built in Rust and egui

LegalArgumentException: From Courtrooms to Clojure – Sen [video]

Di.day is a movement to encourage people to ditch Big Tech

Show HN: AI generated personal affirmations playing when your phone is locked

Show HN: GTM MCP Server- Let AI Manage Your Google Tag Manager Containers

Launch of X (Twitter) API Pay-per-Use Pricing

Facebook seemingly randomly bans tons of users

Global Bird Count

What Is Ruliology?

Jon Stewart – One of My Favorite People – What Now? With Trevor Noah Podcast [video]

P2P crypto exchange development company

Vocal Guide – belt sing without killing yourself

Write for Your Readers Even If They Are Agents

Knowledge-Creating LLMs

Maple Mono: Smooth your coding flow

Sid Meier's System for Real-Time Music Composition and Synthesis

Show HN: Slop News – HN front page now, but it's all slop

Show HN: Empusa – Visual debugger to catch and resume AI agent retry loops

Show HN: Bitcoin wallet on NXP SE050 secure element, Tor-only open source

White House Explores Opening Antitrust Probe on Homebuilders

Show HN: MindDraft – AI task app with smart actions and auto expense tracking

How do you estimate AI app development costs accurately?

Going Through Snowden Documents, Part 5

Show HN: MCP Server for TradeStation

Canada unveils auto industry plan in latest pivot away from US

The essential Reinhold Niebuhr: selected essays and addresses

Rentahuman.ai Turns Humans into On-Demand Labor for AI Agents

StovexGlobal – Compliance Gaps to Note

Show HN: Afelyon – Turns Jira tickets into production-ready PRs (multi-repo)

Trump says America should move on from Epstein – it may not be that easy

Tiny Clippy – A native Office Assistant built in Rust and egui

LegalArgumentException: From Courtrooms to Clojure – Sen [video]

The Lions Operating System

Comments