We are calling for proposals to present at the seL4 Summit 2022! Share your seL4 work. Share your seL4 experience. Share your seL4 thoughts. Share your seL4 questions. Check the full Call For Presentations and topics of interest at: https://sel4.systems/Foundation/Summit/cfp https://sel4.systems/Foundation/Summit/cfp To propose a talk, send an abstract of one page or less by Monday 9th of May 2022 to summit@sel4.systems mailto:summit@sel4.systems. Please do spread the word and also encourage others to submit a talk if you like their work! Thanks, June