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