August 2024 - Announce - lists.sel4.systems

seL4 summit 2024 social activities
by Announcements about seL4 -- low volume list 26 Aug '24

26 Aug '24

A number of informal social activities [0] are being organised by local Sydney-siders. Check out the list and contact the organiser [0] to register your interest. *Blue Mountains bush walk (TBC)* Gernot plans to take a group on a walk, most likely in the stunning Blue Mountains, which are about a 1.5 hours drive from Sydney. The details of this activity will be organised mid-September 2024. Stay tuned! *Bondi to Coogee walk* June will take a group on the iconic Bondi to Coogee walk, with optional dinner to follow at Coogee for people who are interested. *A guided tour of The Rocks* Birg will organise a guided tour of The Rocks, which gives an account of Sydney's colonial heritage. *Sailing in Sydney Harbour (TBC)* Peter plans to take a group sailing in the Sydney Harbour on a replica of the 1600s ship, the Duyfken. Includes light refreshments, beer, soft drinks etc. [0] https://sel4.systems/Foundation/Summit/2024/social-activities Birgit Brecknell seL4 Foundation Project Coordinator Sydney, Australia Mon 9-5 Wed 2-5 Fri 9-5 birgit(a)sel4.systems <mailto:birgit@sel4.systems> bbrcknl(a)gmail.com <mailto:bbrcknl@gmail.com>

1 0

Training day @ UNSW
by Announcements about seL4 -- low volume list 23 Aug '24

23 Aug '24

As an addition to the seL4 summit 2024, we are offering an extra day on the Friday 18 October 2024 at UNSW for training[0] , on Lions OS and Rust. 18 October 2024 Room G10 in the Electrical Engineering Building [1] **Registration for training day** Register for the LionsOS, Rust or both tutorials [2] Training day @ UNSW is free, but please register by 15 September 2024 so that we can account for numbers. **Using LionsOS** Ivan Velickovic, UNSW Sydney 10:00 - 12:30 LionsOS is a new Operating Systems developed at Trustworthy Systems aimed at embedded, IoT, and cyberphysical systems. LionsOS is based on the seL4 Microkit and is desgined to formally verifiable, performant, and adaptable to a wide class of use-cases. LionsOS, by design, is not a conventional OS and hence it may be overwhelming for users who want to get started and are not familiar with the ideas and goals of LionsOS. This hands-on tutorial aims to ease people into creating a LionsOS-based system. We will be using the components and tools provided by LionsOS to, step-by-step, transform a minimal boilerplate system to a functional system involving various drivers, virtual machines and other components. What to bring: Your own laptop **Using Rust in seL4 Userspace** Nick Spinale, Colias Group, LLC 14:00 - 16:30 Rust logoRust has been an officially supported language for use in seL4 userspace since last year's summit. In this workshop, participants will be led through a tutorial that demonstrates how to leverage Rust and its ecosystem to rapidly build memory-safe components for seL4-based systems. This tutorial will cover a range of scenarios, including Microkit protection domains as well as building on seL4 directly. What to bring: Your own laptop with Docker installed. [0] https://sel4.systems/Foundation/Summit/2024/#summit-training-day [1] https://www.learningenvironments.unsw.edu.au/physical-spaces/electrical-eng… [2] https://form.jotform.com/242312058251850 Birgit Brecknell seL4 Foundation Project Coordinator Sydney, Australia Mon 9-5 Wed 2-5 Fri 9-5 birgit(a)sel4.systems <mailto:birgit@sel4.systems> bbrcknl(a)gmail.com <mailto:bbrcknl@gmail.com>

1 0

Check out the seL4 summit 2024 program and abstracts
by Announcements about seL4 -- low volume list 18 Aug '24

18 Aug '24

We have an exciting line-up of speakers [0] and talks [1] for the seL4 summit 2024 [2]. There will be a wide variety of presentations, including technical discussions, research and development and experience reports of seL4 in the field. Register here [3] for the seL4 summit 2024. We look forward to seeing you in Sydney, in October! [0] https://sel4.systems/Foundation/Summit/2024/program [1] https://sel4.systems/Foundation/Summit/2024/abstracts2024 [2] https://sel4.systems/Foundation/Summit/2024/ [3] https://events.linuxfoundation.org/sel4-summit/register/ Birgit Brecknell seL4 Foundation Project Coordinator Sydney, Australia Mon 9-5 Wed 2-5 Fri 9-5 birgit(a)sel4.systems <mailto:birgit@sel4.systems> bbrcknl(a)gmail.com <mailto:bbrcknl@gmail.com>

1 0

Welcome Collins, Bronze sponsor of the seL4 Summit 2024
by Announcements about seL4 -- low volume list 15 Aug '24

15 Aug '24

The seL4 Foundation thanks Collins Aerospace [0] for becoming a Bronze sponsor of the seL4 Summit 2024 [1]. Collins Aerospace [0], part of seL4 Foundation member Raytheon Technologies [2], has been a long-time core participant in the seL4 ecosystem. seL4 summitIt was a prime contractor in the DARPA HACMS program, which demonstrated the seL4-based incremental cyber retrofit of autonomous military vehicles. This was a major milestone in the growth of seL4, demonstrating that it protects against cyber attacks on real systems in operation. The same team also led the follow-on DARPA CASE program, aiming at designed-in cyber-resiliency, including the seL4-based framework for verified initialisation and configuration of systems architectures. Collins Aerospace is now leading the INSPECTA team as part of DARPA's PROVERS program, which aims at developing formal methods tools to guide software engineers through designing proof-friendly software systems and reduce the proof repair workload. See [3] if you are interested in sponsoring the seL4 summit 2024. [0] https://www.collinsaerospace.com/ [1] https://sel4.systems/Foundation/Summit/2024/ [2] https://www.rtx.com/ [3] https://events.linuxfoundation.org/sel4-summit/sponsor/ Birgit Brecknell seL4 Foundation Project Coordinator Sydney, Australia Mon 9-5 Wed 2-5 Fri 9-5 birgit(a)sel4.systems <mailto:birgit@sel4.systems> bbrcknl(a)gmail.com <mailto:bbrcknl@gmail.com>

1 0

Welcome TII, Bronze sponsor of the seL4 Summit 2024
by Announcements about seL4 -- low volume list 14 Aug '24

14 Aug '24

The seL4 Foundation thanks TII [0] for becoming a Bronze sponsor of the seL4 Summit 2024 [1]. The Technology Innovation Institute’s (TII) Secure Systems Research Centre (SSRC) 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. See [2] if you are interested in sponsoring the seL4 summit 2024. [0] https://www.tii.ae/ [1] https://sel4.systems/Foundation/Summit/2024/ [2] https://events.linuxfoundation.org/sel4-summit/sponsor/ Birgit Brecknell seL4 Foundation Project Coordinator Sydney, Australia Mon 9-5 Wed 2-5 Fri 9-5 birgit(a)sel4.systems <mailto:birgit@sel4.systems> bbrcknl(a)gmail.com <mailto:bbrcknl@gmail.com>

1 0