- 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...
- While folks keep discussing C vs Rust, what got my attention was MicroPython and Pancake (https://trustworthy.systems/projects/pancake).
- 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
- Finally an OS that is really an OS and not a linux distro
by spencerflem
3 subcomments
- Very cool! I’m a huge fan of Genode, another OS that runs on SeL4. Does anyone here know how they compare?
- >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.
- My first thought was to wonder whether it was a Linux offshoot.
- "but contains composable components for creating custom operating systems that are specific to a particular task"
like reviving OSfree aka 64bit OS/2
- Aussies were supposed to progress with Darbat.
It never happened.
- [flagged]
- [flagged]
- if you rearrange the letters, you get the Linos OS.
- Mountain Lion is calling and wants its name back.
Hacker News