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 | |
|---|---|---|---|---|
|
Apple joins the seL4 Foundation
|
0 | 112 | April 29, 2024 | |
|
seL4 features in the Linux Foundation’s 2023 Annual report
|
0 | 71 | January 28, 2024 | |
|
The seL4 summit Program is available
|
0 | 178 | June 29, 2022 | |
|
The Call for Presentations for the seL4 summit 2022 is out!
|
0 | 194 | March 30, 2022 | |
|
Meet the Program Committee of the seL4 summit 2023
|
0 | 147 | February 13, 2023 |