Hello everyone,
There has been a new release of LionsOS, 0.2.0.
This release is primarily focused on maturing the existing OS services and making it easier
to build LionsOS-based systems.
You can find detailed release notes here:
https://github.com/au-ts/lionsos/releases/tag/0.2.0
Thanks,
Ivan
Hello everyone,
There has been a new release of the seL4 Device Driver Framework, 0.5.0.
This release is primarily focused on making the various device classes we support more mature.
You can find detailed release notes here:
https://github.com/au-ts/sddf/releases/tag/0.5.0
You can find the latest design documentation attached to the release artefacts.
Thanks,
Ivan
Hi all
A friendly reminder that the seL4 developer hangout is on again this week.
Tue 6 Aug, 10:00pm UTC.
For your local date and time please see https://sel4.systems/contact/.
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>