Todo esto es combinado con el desarrollo de una nueva L4 API, llamada seL4, que pretende satisfacer requerimientos de seguridad tales como los de Criterio Común.