Online / 6 & 7 February 2021

schedule

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.

Speakers

Photo of June Andronick June Andronick

Links