- Announce - lists.sel4.systems

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

The videos and slides of the seL4 summit 2023 are available online
by Announcements about seL4 -- low volume list 18 Oct '23

18 Oct '23

The videos and slides of the seL4 summit 2023 are available online Videos of the seL4 summit 2023 [0] are now available on the seL4 YouTube channel [1]! Links and slides can be found on the summit Program [2] and Abstracts [3] pages. Thanks to all the speakers for making the seL4 summit 2023 a great success! [0] https://sel4.systems/Foundation/Summit/2023 [1] https://www.youtube.com/@seL4 [2] https://sel4.systems/Foundation/Summit/2023/program [3] https://sel4.systems/Foundation/Summit/2023/abstracts --- 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

University of Kansas joins seL4 Foundation
by Announcements about seL4 -- low volume list 13 Oct '23

13 Oct '23

University of Kansas joins seL4 Foundation The seL4 Foundation is pleased to welcome The University of Kansas [0] as Associate Member [1]. KU has collaborated with a number of seL4 Foundation members along the years, including in the DARPA CASE project, which produced a set of formal methods tools that can be applied throughout the design and build process to create seL4-based high-assurance cyber-resilient systems. [0] https://ku.edu/ [1] https://sel4.systems/Foundation/Membership/ --- 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

2 weeks left before the seL4 summit; there's still time to register
by Announcements about seL4 -- low volume list 06 Sep '23

06 Sep '23

The seL4 summit 2023 will start in 2 weeks in Minneapolis! There is still time to register if you haven’t done it yet. Summit: https://sel4.systems/Foundation/Summit/2023/ Register: https://events.linuxfoundation.org/sel4-summit/register/ Program: https://sel4summit2023.sched.com/ See you there!

1 0

Thanks NIO for sponsoring the seL4 Summit 2023 reception and dinner
by Announcements about seL4 -- low volume list 01 Sep '23

01 Sep '23

Thanks NIO for sponsoring the seL4 Summit 2023 reception and dinner The seL4 Foundation thanks NIO [0] for sponsoring both the reception and dinner for the seL4 Summit 2023 [1]. NIO is also a gold sponsor [2] of the summit. Email us at summit(a)sel4.systems if you are interested in sponsoring the seL4 summit. More on sponsorship here [3]. [0] https://www.nio.com/ [1] https://sel4.systems/Foundation/Summit/2023/ [2] https://sel4.systems/news/2023#sponsor23-nio [3] https://events.linuxfoundation.org/sel4-summit/sponsor/ --- Dr. Birgit Brecknell Project Officer Trustworthy Systems, UNSW, birgit.brecknell(a)unsw.edu.au<mailto:birgit.brecknell@unsw.edu.au> seL4 Foundation, birgit(a)sel4.systems<mailto:birgit@sel4.systems> 0433 880 571 Mon 9am-5pm Wed 2pm-5pm Fri 9am-5pm

1 0

Panellists for seL4 summit announced
by Announcements about seL4 -- low volume list 30 Aug '23

30 Aug '23

Panellists for seL4 summit announced We are very fortunate to welcome five industry leaders to participate at the seL4 Summit 2023 [0], in a session OS on seL4: so many options! [1]. Gapfruit, Kry10, Magnetite (MIT), and UNSW will present their views on the priorities and vision for their OS on seL4. The panel will be moderated by Todd Carpenter from Galois. [0] https://sel4.systems/Foundation/Summit/2023/ [1] https://events.linuxfoundation.org/sel4-summit/program/schedule/ --- Dr. Birgit Brecknell Project Officer Trustworthy Systems, UNSW, birgit.brecknell(a)unsw.edu.au<mailto:birgit.brecknell@unsw.edu.au> seL4 Foundation, birgit(a)sel4.systems<mailto:birgit@sel4.systems> 0433 880 571 Mon 9am-5pm Wed 2pm-5pm Fri 9am-5pm

1 0

Thanks TII for being Gold Sponsor of the seL4 Summit 2023
by Announcements about seL4 -- low volume list 28 Aug '23

28 Aug '23

The seL4 Foundation thanks TII [0] for becoming a Gold sponsor of the seL4 Summit 2023 [1]. The Technology Innovation Institute’s (TII [0]) Secure Systems Research Centre (SSRC [2]) aims to drive end-to-end security and resilience in cyber-physical and autonomous systems that will ensure safety. The research center adopts an applied research approach, emphasizing practical applications. By employing seL4 as both a microkernel and a hypervisor, SSRC seamlessly aligns its dedication to security with the foundational technology crucial to achieving its objectives. This critical technology forms the cornerstone of secure software stacks for diverse edge devices, including secure communicators and drones. TII’s research not only contributes to but propels the evolution of cutting-edge high-end edge device environments. TII’s SSRC focus centers on resilience, isolation, trust, and security, all with the intention of fostering a more secure digital landscape. Email us at summit(a)sel4.systems if you are interested in sponsoring the seL4 summit. More on sponsorship here [3]. [0] https://www.tii.ae/ [1] http://localhost:8080/Foundation/Summit/2023/ [2] https://www.tii.ae/secure-systems [3] https://events.linuxfoundation.org/sel4-summit/sponsor/ --- Dr. Birgit Brecknell Project Officer Trustworthy Systems, UNSW, birgit.brecknell(a)unsw.edu.au<mailto:birgit.brecknell@unsw.edu.au> seL4 Foundation, birgit(a)sel4.systems<mailto:birgit@sel4.systems> 0433 880 571 Mon 9am-5pm Wed 2pm-5pm Fri 9am-5pm

1 0

1 week left to get the early-bird registration at the seL4 summit
by Announcements about seL4 -- low volume list 11 Aug '23

11 Aug '23

1 week left to get the early-bird registration at the seL4 summit! A friendly reminder that the early bird cut-off date is 18 August 2023. Tickets include: - Participation in the 3-day conference, including talks, keynotes, seL4 updates & discussions - Networking with other seL4 experts and enthusiasts - Reception and Dinner Check out our exciting line-up of speakers: https://sel4summit2023.sched.com/ Registrations: https://events.linuxfoundation.org/sel4-summit/register/ Please note that the hotel block ends on 27 Aug 2023 seL4 summit 2023: https://sel4.systems/Foundation/Summit/2023/ --- Dr. Birgit Brecknell Project Officer Trustworthy Systems, UNSW, birgit.brecknell(a)unsw.edu.au<mailto:birgit.brecknell@unsw.edu.au> seL4 Foundation, birgit(a)sel4.systems<mailto:birgit@sel4.systems> 0433 880 571 Mon 9am-5pm Wed 2pm-5pm Fri 9am-5pm

1 0