1 week left to get the early-bird registration at the seL4 summit! A friendly reminder that the early bird cut-off date is 31 July 2026. Tickets include: - Participation in the 3-day conference, including talks, keynotes, seL4 updates & discussions - Networking with other seL4 experts and enthusiasts - Dinner Registrations: https://events.linuxfoundation.org/sel4-summit/register/ Further information: https://sel4.systems/Summit/2026/ 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>