💾 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
⬅️ Previous capture (2021-12-17)
-=-=-=-=-=-=-
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.