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.