# The seL4 Foundation is pleased to welcome Google!

**URL:** https://sel4.discourse.group/t/the-sel4-foundation-is-pleased-to-welcome-google/555
**Category:** Uncategorized
**Created:** [August 3, 2022, 10:41pm UTC](https://sel4.discourse.group/t/the-sel4-foundation-is-pleased-to-welcome-google/555 "2022-08-03T22:41:00Z")
**Posts on this page:** 1
**Page:** 1

<div class="post-metadata">

### Author: ![gernot](https://yyz2.discourse-cdn.com/free1/user_avatar/sel4.discourse.group/gernot/32/44_2.png) [@gernot](https://sel4.discourse.group/u/gernot)
#### Post date: [August 3, 2022, 10:41pm UTC](https://sel4.discourse.group/t/the-sel4-foundation-is-pleased-to-welcome-google/555/1 "2022-08-03T22:41:00Z")

</div>

We are excited to see [https://google.com](https://google.com)’s interest in seL4 and look forward to seeing their work with seL4.