The Lions Operating System

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...

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.

▲

mlinksva 5 hours ago | parent | prev | next [-]

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

▲

santoshalper 6 hours ago | parent | prev | next [-]

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

	▲	kragen 3 hours ago \| parent [-]
		That's also where John Lions taught.

▲

snvzz 2 hours ago | parent | prev | next [-]

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

▲

mzs 3 hours ago | parent | prev [-]

aka the Lions book

▲

spencerflem 6 hours ago | parent | prev | next [-]

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

	▲	panick21_ 4 hours ago \| parent \| next [-]
		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.
	▲	Y_Y 4 hours ago \| parent \| prev [-]
		Unequal

▲

snvzz 2 hours ago | parent | prev | next [-]

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 2 hours ago | parent | prev | next [-]

Mountain Lion is calling and wants its name back.

▲

hulitu 4 hours ago | parent | prev | next [-]

> To be successful, many more components are needed.

What is the purpose of this OS ? Can it mint Bitcoin ? Can it do fluid dynamics simulation ? Can it act as an interface to a database ? Can it host a database ? Is it interactive ? What kind of interface it presents to the user ?

	▲	kjs3 a few seconds ago \| parent \| next [-]
		Could have been done for fun. You wouldn't understand.
	▲	qubex 4 hours ago \| parent \| prev \| next [-]
		That’s a rather luridly practical view that’s entirely out of sync with academia and basic research that provides tangible benefits much further down the line.
	▲	kragen 3 hours ago \| parent \| prev \| next [-]
		Those are applications, not operating systems. With occasional exceptions, you can run any application on any operating system.
	▲	charlycst 3 hours ago \| parent \| prev \| next [-]
		There is an example of interface in the docs: https://lionsos.org/docs/examples/kitty/
	▲	fortyseven 3 hours ago \| parent \| prev [-]
		Yeah, Linus, what's the point?

▲

gethly 2 hours ago | parent | prev [-]

Oh no, it's written in C and not Rust. The blasphemy!

▲

aloha2436 2 hours ago | parent | next [-]

I'm trying to picture in my mind a person who is a fan of Rust and somehow against an OS with a formally-verified kernel no matter the language. I'm not having much success.

▲

fooker 17 minutes ago | parent [-]

I see you have not met a lot of Rust activists.

	▲	aloha2436 13 minutes ago \| parent [-]
		Certainly I don't seem to run into as many of them as I'm led to believe exists.

▲

snvzz 2 hours ago | parent | prev [-]

Rust, an immature language with fluidly evolving specification / reference implementation, is not suitable for high assurance nor formal verification.