The seL4 Foundation - Growing Through Upheaval

Explore the journey of the seL4 microkernel and its foundation in this 44-minute conference talk from linux.conf.au 2022. Delve into the world's first operating system kernel with machine-checked proof of implementation correctness, and its evolution from a public-sector research project to an open-source community-driven initiative. Learn about the challenges faced, including a near-death experience for the project, and how the community rallied to save and grow seL4. Discover the reasons behind limited early engagement, the sudden increase in community involvement, and the ongoing efforts to expand adoption. Gain insights into the importance of open development, industry adaptation, and the future of truly secure computer systems. Examine the technical achievements, organizational changes, and the role of the seL4 Foundation in fostering broader community engagement and ensuring the project's sustainability.

Introduction
Welcome
What is SE4
Mathematical proof story
Performance analysis
Microkernel
What has seL4 completed
What happened in May 21
What does life look like now
The influx of talent
The budget
The community
Industry consortium
Research
Conclusion