The seL4 Foundation is pleased to welcome Google!

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