Hacker NewsNov 20

The Lions Operating System

https://lionsos.org

#HackerNews #LionsOperatingSystem #LionsOS #Technology #Innovation #OpenSource #SoftwareDevelopment

Introduction

The Lions Operating System # LionsOS is currently undergoing active research and development, it does not have a concrete verification story yet. It is not expected for LionsOS to be stable at this time, but it is available for others to experiment with. LionsOS is an operating system based on the seL4 microkernel with the goal of making the achievements of seL4 accessible. That is, to provide performance, security, and reliability.

LionsOS 0.3.0
Gernot HeiserOct 15, 2024
Proud as a peacock watching TSer Ivan delivering his #LionsOS talk at the #seL4Summit from an Arm board running LionsOS
Everything Open ConferenceJan 23, 2024

In the first of our #EverythingOpen schedule highlights, we're delighted to present #UNSW Scientia Professor @gernot who will present on efforts to take #sel4 from a #MicroKernel to fully-fledged #OS
with #LionsOS, named for open source luminary, John Lions.

Schedule will be posted soon, we promise!

Heavily discounted #EarlyBird #EB tickets still available, for a short time only:
https://2024.everythingopen.au/news/registrations-open/

Everything Open 2024 | Registration is now available for Everything Open 2024 - powering the future