[seL4 Announce] Thank you DornerWorks, sponsor of the seL4 Summit 2026 AM & PM Break

The seL4 Foundation thanks DornerWorks [0], sponsor of the seL4 Summit 2026 AM & PM Break [1]. DornerWorks is an embedded technology partner, a founding member of the seL4 Foundation [2], and one of its endorsed service providers [3]. Our dedicated team of seL4 experts helps organizations accelerate the integration of seL4 as the trusted software foundation for secure, safety-critical embedded systems and products. [0] https://www.dornerworks.com/ [1] https://sel4.systems/Summit/2026/ [2] https://sel4.systems/Foundation/ [3] https://sel4.systems/Services/ -- Birgit Brecknell seL4 Foundation Project Coordinator Sydney, Australia Mon 9-5 Wed 2-5 Fri 9-5 birgit@sel4.systems bbrcknl@gmail.com