Phase II Amount
$1,465,629
The current seL4 ecosystem is centered on a wiki and github that are maintained by NICTA and Data61 (a commercial spin-off organization of NICTA). Many branches and forks of the seL4 code base are publicly accessible, but often orphaned and outdated. Additionally, the major training and education efforts are mainly offered and managed by Data61. However, due to geographical distance from the United States, seL4 training and education offerings are quite limited and sporadic. It is challenging to access the necessary training/technology support and perform export controlled technology development with Data61 in U.S. For new seL4 developers, such limitations make experiences difficult and disjoint, which generally decreases the adoption and use of seL4 as most any open-source projects do. As part of Phase I, to overcome such limitations and help the research community and industry partners easily access necessary technical support and material, IAI created a U.S.-based seL4 Center of Excellence (CoE) to support four key components: training, outreach, development/maintenance, and innovation. During Phase II, IAI will expand and mature those four components based upon collected government, industry, and academia needs, and transition the seL4 CoE to a non-profit, self-sustaining entity.