LionsOS: Experimental Operating System Based on seL4 Microkernel Under Development at UNSW Sydney
By
plunderer
A respectable bake. You'd come back tomorrow for another.
Summary
LionsOS is an experimental operating system based on the seL4 microkernel, currently under active research and development by the Trustworthy Systems research group at UNSW Sydney. The system aims to make seL4's achievements in performance, security, and reliability more accessible, but it's not yet stable and lacks a concrete verification story. It's available for experimentation but not intended for production use.
Key quotes
· 5 pulledLionsOS 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 is being developed by the Trustworthy Systems research group at UNSW Sydney in Australia.
You might also wanna read
ReactOS Achieves Experimental ARM64 Support, Boots on Apple Silicon via QEMU
ReactOS, the open-source project aiming for binary compatibility with Microsoft Windows, has achieved experimental support for running on 64
phoronix.com·5d ago
Understanding the Linux TTY Subsystem: History, Architecture, and Implementation
A comprehensive technical deep-dive into the TTY (teletype) subsystem in Linux and UNIX systems. The article traces the historical origins o
linusakesson.net·12d ago
Progress on Haiku arm64 Port: Running Stably in QEMU, Targeting M1 MacBook Air
A developer is working on improving the arm64 port of Haiku, an open-source operating system, with the goal of eventually running it on an M
discuss.haiku-os.org·13d ago
Haiku Project Releases Nightly Builds and April 2026 Activity Report
The Haiku Project provides nightly builds of its open-source operating system for testing purposes, offering bleeding-edge versions with the
haiku-os.org·18d ago
Reefy: A Lightweight OS That Turns Any PC Into a Private AI Server
Reefy is a lightweight operating system that transforms any PC, laptop, mini PC, or GPU box into a private AI server with minimal setup. Use
Product Hunt·24d ago
WSL9x: Running Modern Linux Kernel Inside Windows 9x
WSL9x is a technical project that runs a modern Linux kernel (version 6.19) cooperatively inside the Windows 9x kernel, allowing users to ru
codeberg.org·1mo ago