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. See https://sel4.systems/news Gernot