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
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
Meet the Program Committee of the seL4 summit 2024
We are thrilled to announce our program committee for the seL4 Summit 2024 [0]. Our awesome team comes from various parts of the seL4 ecosystem: users, contributors, committers, experts, advocates, researchers, and engineers.
We will announce a Call for Presentations in the coming weeks. Stay tuned!
[0] https://sel4.systems/Foundation/Summit/2024/
---
Birgit Brecknell
Project Coordinator, seL4 Foundation
birgit(a)sel4.systems<mailto:birgit@sel4.systems>
birgit.brecknell(a)unsw.edu.au<mailto:birgit.brecknell@unsw.edu.au>
Mon 9am-5pm
Wed 2pm-5pm
Fri 9am-5pm
It is our pleasure to confirm that the seL4 Summit 2024 [0] will be in:
Sydney, Australia, Oct 2024 (dates TBC).
We look forward to welcoming the community in the birthplace of seL4.
We will announce a Call for Presentations in the coming weeks. Stay tuned!
[0] https://sel4.systems/Foundation/Summit/2024/
---
Birgit Brecknell
Project Coordinator, seL4 Foundation
birgit(a)sel4.systems<mailto:birgit@sel4.systems>
birgit.brecknell(a)unsw.edu.au<mailto:birgit.brecknell@unsw.edu.au>
Mon 9am-5pm
Wed 2pm-5pm
Fri 9am-5pm
seL4 features in the Linux Foundation’s 2023 Annual report!
Find out more on the Linux Foundation website [0].
[0] https://www.linuxfoundation.org/hubfs/Reports/2023_lf_annual_report_122123a…
---
Birgit Brecknell
Project Coordinator, seL4 Foundation
birgit(a)sel4.systems<mailto:birgit@sel4.systems>
birgit.brecknell(a)unsw.edu.au<mailto:birgit.brecknell@unsw.edu.au>
Mon 9am-5pm
Wed 2pm-5pm
Fri 9am-5pm
seL4 Microkit officially supported by the seL4 Foundation
The seL4 Microkit [0], formerly known as the Core Platform, is an operating system framework on top of seL4 provides a small set of simple abstractions that ease the design and implementation of statically structured systems on seL4, while still leveraging the kernel’s benefits of security and performance. The Microkit is distributed as an SDK that integrates with the developer’s build system of choice, significantly reducing the barrier to entry for new users of seL4.
The seL4 Microkit was developed in collaboration between Breakaway Consulting Pty Ltd [1] and Trustworthy Systems, UNSW [2], and is now an official seL4 Foundation [3] project, making it part of the seL4 eco-system.
[0] https://docs.sel4.systems/projects/microkit/
[1] https://brkawy.com/
[2] https://trustworthy.systems/
[3] https://sel4.systems/Foundation/
---
Birgit Brecknell
Project Coordinator, seL4 Foundation
birgit(a)sel4.systems<mailto:birgit@sel4.systems>
birgit.brecknell(a)unsw.edu.au<mailto:birgit.brecknell@unsw.edu.au>
Mon 9am-5pm
Wed 2pm-5pm
Fri 9am-5pm