Online / 6 & 7 February 2021


The seL4 Foundation

what it is and why you should get involved

The seL4 Foundation was created in April 2020 as a Project of the Linux Foundation. Its aim is to provide an open and neutral framework for developing seL4 and its ecosystem and promote update. The talk will give an overview of the seL4 Foundation, its goals and activities and the benefits of joining.


Photo of June Andronick June Andronick