Panellists for seL4 Summit announced We are very fortunate to welcome five industry leaders to participate at the seL4 Summit 2025 [0], in a session Building a business case for using a verified kernel [1]: Collins Aerospace, DornerWorks, Kry10, NIO, and MEP. The panel will be moderated by Juliana Furgala from MIT Lincoln Laboratory. [0] https://sel4.systems/Summit/2025/ [1] https://sel4.systems/Summit/2025/abstracts2025.html#a-panel Birgit Brecknell seL4 Foundation Project Coordinator Sydney, Australia Mon 9-5 Wed 2-5 Fri 9-5 birgit@sel4.systems <mailto:birgit@sel4.systems> bbrcknl@gmail.com <mailto:bbrcknl@gmail.com>