4 Aug
2022
4 Aug
'22
8:26 a.m.
We are pleased to announce that Google (https://google.com) has joined the seL4 Foundation.
We are excited to see their interest in seL4 and look forward to seeing their work with seL4.
Gernot