This will help high-assurance system integrators accelerate development of high-assurance systems with the security benefits of seL4....Read more