💾 Archived View for gemini.bortzmeyer.org › fosdem › event-11573.gmi captured on 2022-04-29 at 01:31:30. Gemini links have been rewritten to link to archived content

View Raw

More Information

⬅️ Previous capture (2021-12-17)

-=-=-=-=-=-=-

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