Intelligent Automation, Inc. — Department of Defense SBIR Phase I: SB172-008

Description

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 that are readily publicly accessible but often orphaned and out dated. Additionally, the major training and education efforts are mainly offered and managed by Data61. However, due to geographical distance from U.S.A, seL4 training and education offering are quite limited and sporadic. In addition, it is very challenge to access necessary training/technology support and perform export controlled technology development with Data61 in U.S.A. Such limitations makes the new developer experiencing for seL4 very difficult and disjoint, which generally decreases the adoption and use of seL4 as most any open-source projects do. To overcome such limitation and help research community and industry partners easily accessing necessary technical support and material, IAI proposes to create a U.S.A-based Center of Excellence (CoE) for seL4 training, outreach, development/maintenance, and innovation.