April 2024 - Announce - lists.sel4.systems

Apple joins the seL4 Foundation
by Announcements about seL4 -- low volume list 29 Apr '24

29 Apr '24

The seL4 Foundation is pleased to welcome Apple as our latest member. We are excited to see their interest in seL4 and look forward to seeing their work with seL4. https://sel4.systems/news/#member-apple June -- June Andronick CEO of the seL4 Foundation https://sel4.systems/Foundation

1 0

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