FOSDEM event "The seL4 Foundation"

June Andronick

Type devroom

what it is and why you should get involved

Starts on day 1 (2021-02-06) at 11:10 (Brussels time, UTC+1) in room Microkernel (duration 00:45)

Matrix room #microkernel:fosdem.org

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.

=> FOSDEM schedule page

Proxy Information

Original URL: gemini://radia.bortzmeyer.org/fosdem/event-11573.gmi
Status Code: Success (20)
Meta: text/gemini; lang=en
Capsule Response Time: 160.652425 milliseconds
Gemini-to-HTML Time: 0.295678 milliseconds

This content has been proxied by September (ba2dc).