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.