Announce

announce@sel4.systems

1 participants
133 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

seL4 summit dates (and don't forget to submit a talk!)
by Announcements about seL4 -- low volume list 19 Mar '24

19 Mar '24

Hi all, We are happy to share that the dates for the seL4 summit 2024 are 15-16-17 October 2024. Don't forget to submit a talk proposal before 22 April on: https://sel4.systems/Foundation/Summit/2024/submit Looking forward to receiving your proposals. June https://www.linkedin.com/posts/sel4_the-dates-for-the-sel4-summit-2024-are-… seL4 Foundation on LinkedIn: The dates for the seL4 summit 2024 are: 15-16-17 October 2024! Don't… linkedin.com

1 0

Call For Presentations for the seL4 Summit 2024
by Announcements about seL4 -- low volume list 19 Feb '24

19 Feb '24

Call For Presentations [0] for the seL4 Summit 2024 [1] - Share your seL4 work - Share your seL4 experience - Share your seL4 thoughts Check the full Call For Presentations [0]. To propose a talk, upload an abstract of one page or less by 22 April 2024 to the submission portal [2]. Also note the open invitation for a 5-minute slot to talk about your seL4 deployment [3]. [0] https://sel4.systems/Foundation/Summit/2024/cfp [1] https://sel4.systems/Foundation/Summit/2024/ [2] https://sel4.systems/Foundation/Summit/2024/submit [3] https://sel4.systems/Foundation/Summit/2024/cfp#sel4-deployment --- 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

1 0

Meet the Program Committee of the seL4 summit 2024
by Announcements about seL4 -- low volume list 14 Feb '24

14 Feb '24

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

1 0

The seL4 summit 2024 will be held in Sydney, Australia
by Announcements about seL4 -- low volume list 09 Feb '24

09 Feb '24

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

1 0

seL4 features in the Linux Foundation’s 2023 Annual report
by Announcements about seL4 -- low volume list 29 Jan '24

29 Jan '24

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

1 0

NIO announces seL4-based SkyOS operating system
by Announcements about seL4 -- low volume list 24 Nov '23

24 Nov '23

NIO announces seL4-based SkyOS operating system We are excited to share that NIO [0] recently unveiled their seL4-based SkyOS operating system [1], designed for Software Defined Vehicles, which they have been working on relentlessly for the past two years. At the seL4 Summit 2023 [2] Qiyan Wang, NIO’s Global VP of Digital Systems, announced that NIO cars based on seL4 are planned for next year [3]! [0] https://www.nio.com/ [1] https://www.linkedin.com/posts/qiyan-wang-8b0b2145_skyos-was-unveiled-to-th… [2] https://sel4.systems/Foundation/Summit/2023/ [3] https://www.youtube.com/watch?v=HfvX2VbWp6c&list=PLtoQeavghzr2qwDaad0hhsBBJ… --- 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

1 0

seL4 Microkit officially supported by the seL4 Foundation
by Announcements about seL4 -- low volume list 20 Nov '23

20 Nov '23

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

1 0

Support for Rust in seL4 userspace now available
by Announcements about seL4 -- low volume list 15 Nov '23

15 Nov '23

Support for Rust in seL4 userspace now available For the last year, Nick Spinale, funded by the seL4 Foundation [0], has been developing support for the Rust programming language in seL4 userspace. Nick has created a comprehensive language support infrastructure that integrates well with the rest of the seL4 ecosystem (capDL, Microkit, sel4test) and also integrates well with what Rust programmers would expect from the language side. This work has now been accepted by the seL4 Foundation Technical Steering Committee [1] and can be found on GitHub [2]. Nick’s talk at the recent seL4 summit is on seL4’s Youtube channel [3]. A demo system that uses the device driver framework, asynchronous programming in Rust and library support from the Rust ecosystem to implement a small web server is available on GitHub [4]. The overall outcome will be to allow people to write safer user-level code on top of seL4 without needing full formal verification, with a language that is receiving increasing interest and that aligns extremely well with security and safety critical embedded systems programming. [0] https://sel4.systems/Foundation/ [1] https://sel4.systems/Foundation/TSC/ [2] https://github.com/seL4/rust-sel4 [3] https://www.youtube.com/watch?v=J17lC124_9s [4] https://github.com/seL4/rust-microkit-http-server-demo --- 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

1 0

Jump to page:

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

Announce