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