November 2025 - Announce - lists.sel4.systems

Trustworthy Systems releases LionsOS-based firewall as a community project
by Announcements about seL4 -- low volume list 14 Nov '25

14 Nov '25

Dear seL4 Community, The Trustworthy Systems group is pleased to announce the release of a new community project for extending a proof-of-concept LionsOS-based firewall in the hope of turning it into a deployable system. More details at https://trustworthy.systems/news/#lionsos_firewall_release_25 Have fun! Gernot PS: Please ignore lawyerese below – out of my control :-( This email and any files transmitted with it may contain confidential information. If you believe you have received this email or any of its contents in error, please notify me immediately by return email and destroy this email. Do not use, disseminate, forward, print or copy any contents of an email received in error.

1 0

Genode Sculpt runs on seL4
by Announcements about seL4 -- low volume list 12 Nov '25

12 Nov '25

Genode Sculpt runs on seL4 Genode Labs have released Sculpt OS 25.10 [0] with an (unofficial and experimental) variant running on seL4. Sculpt is a general-purpose OS that combines Genode's microkernel architecture, capability-based security, sandboxed device drivers, and virtual machines in a novel operating system for commodity PC hardware and the PinePhone. Sculpt is used as day-to-day OS by the Genode developers. [0] https://genodians.org/alex-ab/2025-11-02-sculpt-multi-kernel 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

Next summit will be in Vancouver! Meet its co-chairs
by Announcements about seL4 -- low volume list 07 Nov '25

07 Nov '25

Next summit will be in Vancouver! Meet its co-chairs We are thrilled to announce our co-chairs, Lucy Fletcher and Robbie VanVossen, for the seL4 summit 2026, which will be held in Vancouver, late August - early September (dates TBC). Lucy Fletcher Software Engineer, Apple [0] Lucy Fletcher is a software engineer at Apple based in Sydney, Australia, working on L4 microkernels and the surrounding ecosystems. Before joining Apple, she studied Computer Science at UNSW and worked with the Trustworthy Systems group, where she focused on the design and development of the seL4 device driver framework. Lucy is passionate about giving back to the seL4 community and supporting its continued growth. Robbie VanVossen seL4 Technical Lead, DornerWorks [1] Robbie VanVossen is an employee of DornerWorks, has 12 years of experience in embedded hypervisors, and 10 years of experience with the seL4 microkernel. His work and leadership led to the development of aarch64 virtualization support across the seL4 ecosystem, both in the microkernel and the user-space libraries. He has also developed multiple projects using the Rust language, including embedded implementations of device drivers and applications. He has strong interests in embedded security, virtualization, seL4, and Rust. We look forward to welcoming the community at the seL4 summit 2026! [0] https://www.apple.com/ [1] https://www.dornerworks.com/ 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