Announce April 2024

announce@sel4.systems

1 participants
2 discussions

First Lions OS release
by Announcements about seL4 -- low volume list 16 Apr '24

16 Apr '24

Hello seL4 Community, Trustworthy Systems @UNSW is pleased to announce the release 0.1 of Lions OS, the new, high-performance, highly adaptable, seL4-based OS we are developing from scratch. Aimed embedded/cyberphysical/IoT system, Lions OS is meant to be easily usable (built on top of the Microkit and its SDK) and at the same time designed to be formally verified. Key to achieving all these objectives is a principled, highly-modular design, driven by ruthless adherence to the time-honoured KISS principle, an approach we have already applied successfully to the seL4 Device Driver Framework (sDDF) that is one of foundations of Lions OS. LionsOS is still in its early stages but we are at the point where we have a non-trivial example system and initial documentation. We expect both functionality and documentation to evolve rapidly. We also anticipate significant progress on the verification of Lions OS over the next 12 months. Project overview: https://trustworthy.systems/projects/LionsOS/ Lions OS web site: https://lionsos.org/ Source code (2-clause BSD): https://github.com/au-ts/lionsos Gernot on behalf of Trustworthy Systems

1 0

First release of the seL4 Device Driver Framework
by Announcements about seL4 -- low volume list 09 Apr '24

09 Apr '24

Hello seL4 Community, Trustworthy Systems @UNSW is pleased to announce the release 0.4 of the seL4 Device Driver Framework (sDDF). sDDF is designed for high performance while featuring a highly modular architecture that aims to enable formal verification. For more details see: * the announcement on the developer mailing list https://lists.sel4.systems/hyperkitty/list/devel@sel4.systems/thread/6QKUK5… * the document describing the design https://trustworthy.systems/projects/drivers/sddf-design.pdf * the GitHub code and documentation repository https://github.com/au-ts/sddf/releases/tag/0.4.0 Gernot on behalf of Trustworthy Systems

1 0

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

Announce April 2024