[seL4 Announce] One week left to propose a talk at the seL4 summit 2022!

2 May 2022


      A reminder that you have until Monday 9th of May 2022 to propose a talk for the seL4 Summit 2022 :)

http://sel4.systems/news/2022 http://sel4.systems/news/2022
http://sel4.systems/Foundation/Summit/ http://sel4.systems/Foundation/Summit/
http://sel4.systems/Foundation/Summit/cfp http://sel4.systems/Foundation/Summit/cfp

[seL4 Announce] One week left to propose a talk at the seL4 summit 2022!

Announcements about seL4 -- low volume list