We are excited to see https://google.com’s interest in seL4 and look forward to seeing their work with seL4.
Related topics
| Topic | Replies | Views | Activity | |
|---|---|---|---|---|
|
Thank you for your donation, Ghost!
|
0 | 235 | August 31, 2021 | |
|
Apple joins the seL4 Foundation
|
0 | 138 | April 29, 2024 | |
|
Galois now part of the seL4 Foundation
|
0 | 141 | May 29, 2023 | |
|
Jobs in the seL4 ecosystem
|
0 | 247 | June 22, 2021 | |
| About the Verification category | 0 | 344 | January 2, 2019 |