We are thrilled to announce our program committee for the seL4 Summit 2024. Our awesome team comes from various parts of the seL4 ecosystem: users, contributors, committers, experts, advocates, researchers, and engineers.
We are thrilled to announce our program committee for the seL4 Summit 2024. Our awesome team comes from various parts of the seL4 ecosystem: users, contributors, committers, experts, advocates, researchers, and engineers.
