Giving a joint keynote at ASPLOS+EuroSys was an honour but also 😁
After all, I was talking about LionsOS
After all, I was talking about LionsOS
April 1, 2025 at 4:00 PM
Giving a joint keynote at ASPLOS+EuroSys was an honour but also 😁
After all, I was talking about LionsOS
After all, I was talking about LionsOS
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
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
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
This is on the back of sDDF (#seL4 driver framework) 0.6.0 and Microkit 2.0.1
First publicised use of the #seL4-based #LionsOS in a commercial product: www.linkedin.com/feed/update/...
#firewalls | ExploitChance (Grupo Pentest®)
We’re pleased to announce that Numantia will be adopting LionsOS, built on the seL4 microkernel, to run a dedicated packet-filtering specific component inside our appliance.
This design choice reflect...
www.linkedin.com
January 30, 2026 at 12:38 AM
First publicised use of the #seL4-based #LionsOS in a commercial product: www.linkedin.com/feed/update/...
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...
trustworthy.systems/news/#Softwa...
News | TS
trustworthy.systems
September 1, 2026 at 9:18 PM
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...
trustworthy.systems/news/#Softwa...
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
And this is how it looks inside, running seL4, Microkit, LionsOS, native device drivers and reusing an unmodified Linux display driver
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.systems/news/#09-18
seL4 News | seL4
sel4.systems
September 18, 2026 at 5:06 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.systems/news/#09-18
The Lions Operating System | Discussion
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 20, 2025 at 7:20 PM
The Lions Operating System | Discussion
https://lionsos.org
LionsOSは、seL4マイクロカーネルを基盤とするオペレーティングシステムです。
その目的は、seL4の成果をよりアクセスしやすくすること、つまり性能、セキュリティ、信頼性を提供することです。
UNSW SydneyのTrustworthy Systems研究グループによって開発されています。#rustlang
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
https://lionsos.org
LionsOSは、seL4マイクロカーネルを基盤とするオペレーティングシステムです。
その目的は、seL4の成果をよりアクセスしやすくすること、つまり性能、セキュリティ、信頼性を提供することです。
UNSW SydneyのTrustworthy Systems研究グループによって開発されています。#rustlang
LionsOSは、seL4マイクロカーネルを基盤とするオペレーティングシステムです。
その目的は、seL4の成果をよりアクセスしやすくすること、つまり性能、セキュリティ、信頼性を提供することです。
UNSW SydneyのTrustworthy Systems研究グループによって開発されています。#rustlang
🎉 Fast, Secure, Adaptable: LionsOS Design, Implementation and Performance
#lionos #microkernel #osdev #opensource
#lionos #microkernel #osdev #opensource
Fast, Secure, Adaptable: LionsOS Design, Implementation and Performance
1 Introduction
arxiv.org
December 22, 2025 at 6:02 PM
🎉 Fast, Secure, Adaptable: LionsOS Design, Implementation and Performance
#lionos #microkernel #osdev #opensource
#lionos #microkernel #osdev #opensource
Have you ever seen Windows-1 running on a microkernel?
Here you can see it running on #seL4 & #LionsOS:
trustworthy.systems/publications...
Here you can see it running on #seL4 & #LionsOS:
trustworthy.systems/publications...
September 17, 2026 at 12:05 AM
Have you ever seen Windows-1 running on a microkernel?
Here you can see it running on #seL4 & #LionsOS:
trustworthy.systems/publications...
Here you can see it running on #seL4 & #LionsOS:
trustworthy.systems/publications...
LionsOS: an adaptable OS based on the seL4 microkernel
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. [...] It is not...
www.osnews.com
November 21, 2025 at 10:40 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
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...
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
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 :)
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...
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
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...
Here’s your chance: external-careers.jobs.unsw.edu.au/cw/en/job/53...
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
LionsOS Design, Implementation and Performance https://lobste.rs/s/w05bzq ##formalmethods ##performance ##osdev
The Lions Operating System https://lobste.rs/s/dtzplf ##osdev
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 20, 2025 at 1:20 AM
The Lions Operating System https://lobste.rs/s/dtzplf ##osdev
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…
🔥 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
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…
🔥 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…
The Lions Operating System https://lionsos.org/ (https://news.ycombinator.com/item?id=45995816)
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 20, 2025 at 8:28 PM
The Lions Operating System https://lionsos.org/ (https://news.ycombinator.com/item?id=45995816)
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
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.
⚡ Hackernews Top story: The Lions Operating System
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 5:43 AM
⚡ Hackernews Top story: The Lions Operating System
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
LionsOS: an adaptable OS based on the seL4 microkernel
November 23, 2025 at 12:17 AM
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
LionsOS: an adaptable OS based on the seL4 microkernel
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 […]
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
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 […]
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 […]