# The Autoware Foundation joins the seL4 Foundation

**URL:** <https://sel4.discourse.group/t/the-autoware-foundation-joins-the-sel4-foundation/680>\
**Category:** Uncategorized\
**Created:** [March 22, 2023, 12:36am UTC](https://sel4.discourse.group/t/the-autoware-foundation-joins-the-sel4-foundation/680 "2023-03-22T00:36:39Z")\
**Posts on this page:** 1\
**Page:** 1

<div class="post-metadata">

**Author:** ![bbrcknl](https://avatars.discourse-cdn.com/v4/letter/b/a183cd/32.png) [@bbrcknl](https://sel4.discourse.group/u/bbrcknl)\
**Post date:** [March 22, 2023, 12:36am UTC](https://sel4.discourse.group/t/the-autoware-foundation-joins-the-sel4-foundation/680/1 "2023-03-22T00:36:39Z")

</div>

The seL4 Foundation welcomes [the Autoware Foundation](https://www.autoware.org/) as a [member](https://sel4.systems/Foundation/Membership).

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.