[HN Gopher] The Lions Operating System
       ___________________________________________________________________
        
       The Lions Operating System
        
       Author : plunderer
       Score  : 92 points
       Date   : 2025-11-20 18:19 UTC (4 hours ago)
        
 (HTM) web link (lionsos.org)
 (TXT) w3m dump (lionsos.org)
        
       | cjs_ac wrote:
       | 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 wrote:
         | It's developed by UNSW Sydney, whose mascot is a Lion.
         | (Specifically, "Clancy the Lion"), so I am guessing it's
         | probably that.
        
           | kragen wrote:
           | That's also where John Lions taught.
        
         | mlinksva wrote:
         | It is https://www.youtube.com/watch?v=W8Ka_8kHTj4&t=903s
        
         | woolion wrote:
         | 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 wrote:
         | aka the Lions book
        
       | spencerflem wrote:
       | Very cool! I'm a huge fan of Genode, another OS that runs on
       | SeL4. Does anyone here know how they compare?
        
         | Y_Y wrote:
         | Unequal
        
         | panick21_ wrote:
         | 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.
        
       | hulitu wrote:
       | > 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 ?
        
         | qubex wrote:
         | 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.
        
         | charlycst wrote:
         | There is an example of interface in the docs:
         | https://lionsos.org/docs/examples/kitty/
        
         | kragen wrote:
         | Those are applications, not operating systems. With occasional
         | exceptions, you can run any application on any operating
         | system.
        
         | fortyseven wrote:
         | Yeah, Linus, what's the point?
        
       | snvzz wrote:
       | On recent news, LionsOS, as of a week ago or so, 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
        
       | gethly wrote:
       | Oh no, it's written in C and not Rust. The blasphemy!
        
       ___________________________________________________________________
       (page generated 2025-11-20 23:00 UTC)