Gernot Heiser
@microkerneldude.bsky.social
Physicist by training, computer engineer by passion
Scientia (distinguished) Professor and John Lions Chair of Operating Systems at UNSW Sydney and Founding Chairman of the seL4 Foundation
FACM FIEEE FTSE FRSN ML
Scientia (distinguished) Professor and John Lions Chair of Operating Systems at UNSW Sydney and Founding Chairman of the seL4 Foundation
FACM FIEEE FTSE FRSN ML
Spring time is Jacaranda time in Sydney – the city is full of those magnificent trees
November 6, 2025 at 10:04 AM
Spring time is Jacaranda time in Sydney – the city is full of those magnificent trees
#seL4 Foundation CEO June Andronick's update reveals that we'll be moving to a new structure, based in Switzerland! Members will no longer have to pay for Linux Foundation membership
September 4, 2025 at 7:59 AM
#seL4 Foundation CEO June Andronick's update reveals that we'll be moving to a new structure, based in Switzerland! Members will no longer have to pay for Linux Foundation membership
Day 2 of the seL4 Summit kicks off with an industry panel discussing making a business case for a verified kernel
September 4, 2025 at 7:05 AM
Day 2 of the seL4 Summit kicks off with an industry panel discussing making a business case for a verified kernel
Yayan Shen from NIO talks at the #seL4 Summit about fault tolerant designs. Also, after launching their seL4-based OS in their new entry- level brand, it now runs in NIO-branded premium EVs
September 3, 2025 at 2:21 PM
Yayan Shen from NIO talks at the #seL4 Summit about fault tolerant designs. Also, after launching their seL4-based OS in their new entry- level brand, it now runs in NIO-branded premium EVs
The #seL4 Summit is underway in Prague!
John Hatcliff from Kansas State kicks off with a keynote on model- based system development on seL4, as used in various DARPA projects
John Hatcliff from Kansas State kicks off with a keynote on model- based system development on seL4, as used in various DARPA projects
September 3, 2025 at 7:37 AM
The #seL4 Summit is underway in Prague!
John Hatcliff from Kansas State kicks off with a keynote on model- based system development on seL4, as used in various DARPA projects
John Hatcliff from Kansas State kicks off with a keynote on model- based system development on seL4, as used in various DARPA projects
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
The humble TS Kitty has just returned from its third overseas trip, having now had gigs in four continents
August 18, 2025 at 12:33 AM
The humble TS Kitty has just returned from its third overseas trip, having now had gigs in four continents
Today is the 16th anniversary of the completion of se4’s proof of implementation correctness, and the 11th anniversary of seL4 being open-sourced.
Happy #seL4 Day from all at Trustworthy Systems!
Happy #seL4 Day from all at Trustworthy Systems!
July 29, 2025 at 2:26 AM
Today is the 16th anniversary of the completion of se4’s proof of implementation correctness, and the 11th anniversary of seL4 being open-sourced.
Happy #seL4 Day from all at Trustworthy Systems!
Happy #seL4 Day from all at Trustworthy Systems!
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