The seL4 Foundation welcomes the Autoware Foundation [0] as a member [1]. The Autoware Foundation hosts the Autoware Project, the world’s leading open-source software project for autonomous driving. As a member of the seL4 Foundation, the Autoware Foundation will work with members of the seL4 Foundation to implement a safe and secure Autonomous Driving software stack based on Autoware, leveraging the formally-verified and mixed-criticality capabilities of seL4. [0] https://www.autoware.org/ [1] https://sel4.systems/Foundation/Membership/ --- Dr. Birgit Brecknell Project Officer Trustworthy Systems, UNSW, birgit.brecknell@unsw.edu.aumailto:birgit.brecknell@unsw.edu.au seL4 Foundation, birgit@sel4.systemsmailto:birgit@sel4.systems 0433 880 571 Mon 9am-5pm Wed 9am-12pm Fri 9am-5pm