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>