Panellists for seL4 Summit announced We are very fortunate to welcome five industry leaders to participate at the seL4 Summit 2026 [0], in a session on Certification, Compliance and Policies: enabler or barrier to innovation? [1]: Darren Cofer, Peter Davies, Jonathan Marshall, Anjana Rajan, and James Sharp. The panel will be moderated by Martin Dehnel-Wild. [0] https://sel4.systems/Summit/2026/ [1] https://sel4.systems/Summit/2026/abstracts2026.html#a-panel -- Birgit Brecknell seL4 Foundation Project Coordinator Sydney, Australia Mon 9-5 Wed 2-5 Fri 9-5 birgit@sel4.systems bbrcknl@gmail.com