#LionsOS
Giving a joint keynote at ASPLOS+EuroSys was an honour but also 😁
After all, I was talking about LionsOS
April 1, 2025 at 4:00 PM
LionsOS v0.3.0 is released! github.com/au-ts/lionso...
This is on the back of sDDF (#seL4 driver framework) 0.6.0 and Microkit 2.0.1
Release 0.3.0 · au-ts/lionsos
Release notes are available here.
github.com
March 25, 2025 at 7:25 AM
The Trustworthy Systems team have just done a major release of the Microkit, #seL4 device driver framework, #LionsOS and its virtualisation support. We can now boot Windows in a virtual machine.

trustworthy.systems/news/#Softwa...
News | TS
trustworthy.systems
September 1, 2026 at 9:18 PM
And this is how it looks inside, running seL4, Microkit, LionsOS, native device drivers and reusing an unmodified Linux display driver
August 18, 2025 at 12:42 AM
Great to see ANU joining the #seL4 Foundation, in line with the collaboration between Trustworthy Systems and the FM/PL folks at ANU, all around #seL4 and #LionsOS

sel4.systems/news/#09-18
seL4 News | seL4
sel4.systems
September 18, 2026 at 5:06 AM
https://lionsos.org
LionsOSは、seL4マイクロカーネルを基盤とするオペレーティングシステムです。
その目的は、seL4の成果をよりアクセスしやすくすること、つまり性能、セキュリティ、信頼性を提供することです。
UNSW SydneyのTrustworthy Systems研究グループによって開発されています。#rustlang
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.org
November 21, 2025 at 9:18 AM
🎉 Fast, Secure, Adaptable: LionsOS Design, Implementation and Performance

#lionos #microkernel #osdev #opensource
Fast, Secure, Adaptable: LionsOS Design, Implementation and Performance
1 Introduction
arxiv.org
December 22, 2025 at 6:02 PM
Have you ever seen Windows-1 running on a microkernel?
Here you can see it running on #seL4 & #LionsOS:

trustworthy.systems/publications...
September 17, 2026 at 12:05 AM
Interesting timing, actually, given that after a 7-year hiatus we’re getting back into serious real-time work with #seL4 and #LionsOS.
May 13, 2026 at 1:23 PM
They also have a modular kit to make a full OS for embedded use cases, named LionsOS after the late UNSW professor John Lions, known as the author of the Lions Book, which taught the AT&T V6 UNIX source code (circa 1975) to generations of programmers. trustworthy.systems/projects/Lio...
LionsOS -- the Lions Operating System | TS
trustworthy.systems
October 22, 2025 at 2:23 AM
Are there any particular hardware platforms / SoCs this all has best support for? It would be fun to try roll my own seL4/LionsOS system at some point :)
September 1, 2026 at 11:55 PM
Recent formal-methods PD looking for an exciting opportunity? Such as living in Sydney and contributing to end-to-end verification of LionsOS?
Here’s your chance: external-careers.jobs.unsw.edu.au/cw/en/job/53...
Research Associate/Senior Research Associate (Formal Methods)
Conduct research in the area of formal methods and systems independently and as part of the team.
external-careers.jobs.unsw.edu.au
November 27, 2025 at 6:56 AM
December 18, 2025 at 11:50 PM
LionsOS Design, Implementation and Performance https://lobste.rs/s/w05bzq ##formalmethods ##performance ##osdev
LionsOS Design, Implementation and Performance
arxiv.org
December 18, 2025 at 9:30 PM
Introduction | LionsOS 0.3.0

🔥 Check out this awesome post from Hacker News 📖 📂 Category: 📌 Here’s what you’ll learn: 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…
Introduction | LionsOS 0.3.0
🔥 Check out this awesome post from Hacker News 📖 📂 Category: 📌 Here’s what you’ll learn: 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…
viralpique.com
November 20, 2025 at 7:22 PM
Well tbf nowadays with modern μkernel-based OSes like LionsOS, that can actually beat Linux in sustained IOPS in certain cases and match Linux in others, and concurrency has actually been the bane of μkernels (BKL) for a while now, IPC overhead is actually more noticeable in Linux under peak load.
June 20, 2026 at 3:47 PM
A microkernel-based OS built for adaptability? Intriguing approach to system design – prioritizing security and flexibility is always a solid foundation. 🤖 #tech

LionsOS: an adaptable OS based on the seL4 microkernel
November 23, 2025 at 12:17 AM
Introduction | LionsOS 0.3.0
https://lionsos.org/
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 […]
Original post on mastodon.social
mastodon.social
November 21, 2025 at 7:51 AM