Hi all
A friendly reminder that the seL4 developer hangout is on again this week.
Tue 12 May, 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>
Hi all
A friendly reminder that the seL4 developer hangout is on again next week.
Wed 29 Apr, 8: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>
One week to go to submit a talk [0] for the seL4 Summit 2026 [1]!
If you’d like to submit a talk, please upload an abstract of one page or less to the submission portal [2].
**Abstracts are due on 20 April 2026.**
**NEW!**
The 2026 edition of the seL4 summit will feature a **full first day** dedicated to **applications, overviews, and perspectives** on seL4-based systems and formally verified software in the real world. This will be followed by Days 2 and 3 focusing on more technical development, research, reports, and discussions.
We are particularly keen to **welcome people who are new to seL4** or still developing their familiarity with the technology. The event will offer an **ideal opportunity to gain a high-level view of the landscape and ecosystem** of seL4 and its associated tools, frameworks and languages, as well as formally verified software in general, and to take stock of the latest updates.
The seL4 Summit 2026 will be held 1 - 3 September 2026 at the Hyatt Regency Vancouver, Vancouver, Canada. The summit will be an in-person event.
We’re looking forward to many exciting proposals!
[0] https://sel4.systems/Summit/2026/cfp
[1] https://sel4.systems/Summit/2026/
[2] https://form.jotform.com/260147181364858
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>
Hi all
A friendly reminder that the seL4 developer hangout is on again this week.
Tue 14 Apr, 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>
We're pleased to announce the release of
- seL4 15.0.0: The seL4 microkernel
https://docs.sel4.systems/releases/sel4/15.0.0
- Microkit 2.2.0: The seL4 Microkit for building static-architecture systems
https://docs.sel4.systems/releases/microkit/2.2.0
- CAmkES 3.12.0: Component Architecture for microkernel-based Embedded Systems
https://docs.sel4.systems/releases/camkes/camkes-3.12.0
- capDL 0.5.0: Tools for generating, parsing and loading capability distribution specifications
https://docs.sel4.systems/releases/capdl/0.5.0
- rust-sel4 4.0.0: Rust support for seL4 userspace
https://github.com/seL4/rust-sel4/releases/tag/v4.0.0
seL4 15.0.0 and the corresponding Rust support come with new features and will
require updates if you are using the seL4 API directly. CAmkES and the capDL
tool add domain schedules as a new feature and applications will need updates if
they use the seL4 domain scheduler. The Microkit release should not require any
update of user code compared to Microkit 2.1.0.
Enjoy!
Gerwin
Hi all
A friendly reminder that the seL4 developer hangout is on again this week.
Wed 1 Apr, 7: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>
Hi all
A friendly reminder that the seL4 developer hangout is on again this week.
Tue 17 Mar, 21: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>
Hi all
A friendly reminder that the seL4 developer hangout is on again this week.
Wed 4 Mar, 7: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>
Hi all
A friendly reminder that the seL4 developer hangout is on again this week.
Tue 17 Feb, 21: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>
