July 2026 - Devel - lists.sel4.systems

seL4 developer hangout reminder
by Birgit Brecknell 20 Jul '26

20 Jul '26

Hi all A friendly reminder that the seL4 developer hangout is on again next week. Wed 22 Jul, 08:00 UTC For your local date and time please see https://sel4.systems/stay-informed.html#calendar Zoom link: https://unsw.zoom.us/j/82640784431 Birgit Brecknell seL4 Foundation Project Coordinator Sydney, Australia Mon 9-5 Wed 2-5 Fri 9-5 birgit(a)sel4.systems <mailto:birgit@sel4.systems> bbrcknl(a)gmail.com <mailto:bbrcknl@gmail.com>

1 0

Two weeks left to get the early-bird registration at the seL4 summit!
by Birgit Brecknell 17 Jul '26

17 Jul '26

2 weeks 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(a)sel4.systems bbrcknl(a)gmail.com

1 0

3 weeks before the early-bird deadline for the seL4 summit
by June Andronick 10 Jul '26

10 Jul '26

Don’t forget to register to the seL4 summit! Only 3 weeks left to benefit from the early-bird fee: https://events.linuxfoundation.org/sel4-summit/register/#register-now See you in Vancouver :) June

1 0

seL4 developer hangout reminder
by Birgit Brecknell 06 Jul '26

06 Jul '26

Hi all A friendly reminder that the seL4 developer hangout is on again next week. Tue 7 Jul, 22:00 UTC For your local date and time please see https://sel4.systems/stay-informed.html#calendar Zoom link: https://unsw.zoom.us/j/82640784431 Birgit Brecknell seL4 Foundation Project Coordinator Sydney, Australia Mon 9-5 Wed 2-5 Fri 9-5 birgit(a)sel4.systems <mailto:birgit@sel4.systems> bbrcknl(a)gmail.com <mailto:bbrcknl@gmail.com>

1 0