💾 Archived View for gemini.bortzmeyer.org › fosdem › event-11572.gmi captured on 2022-04-29 at 01:31:28. Gemini links have been rewritten to link to archived content
⬅️ Previous capture (2021-12-17)
-=-=-=-=-=-=-
Gernot Heiser
Type devroom
What happened in seL4 land in the past 12 months
Starts on day 1 (2021-02-06) at 10:10 (Brussels time, UTC+1) in room Microkernel (duration 01:00)
Matrix room #microkernel:fosdem.org
I will provide an update on developments in the seL4 ecosystem in the past 12 months. Highlights include the creation of the seL4 Foundation and some of its activities since, and the functional correctness proof of seL4 on the RISC-V architecture. I will also discuss our work on time protection, a principled and systematic approach to prevention of timing channels and on-going work on its formal verification.