The Autoware Foundation joins the seL4 Foundation

The seL4 Foundation welcomes the Autoware Foundation as a member.

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.