About seL4 Center of Excellence
What is the CoE?
The seL4® Center of Excellence (CoE) is a not-for-profit organization whose purpose is to lower barriers to adoption and facilitate the principled development and deployment of trustworthy systems based on seL4. Addressing the needs of the U.S. DoD and DoD contractor community will be a focus for the CoE.
Mission Statement
The mission of the CoE is to lower barriers to adoption and facilitate the principled development and deployment of trustworthy systems based on seL4. Addressing the needs of the U.S. DoD and DoD contractor community will be a focus for the CoE.
The CoE will complement the separate seL4 Foundation. While the seL4 Foundation will focus on creating, maintaining and supporting the code and proofs of the seL4 kernel itself, as well as user-level frameworks, libraries, components and reference architectures, the CoE will focus on emphasizing the development, maintenance and dissemination of software distributions; which are curated collections of software (e.g., kernel, libraries, drivers, components, configurations, frameworks, and proofs) that form the basis of a stable and supported platform on which to build trustworthy systems. The CoE will work closely with the seL4 Foundation to avoid forking of the seL4 microkernel code base and contribute changes back to origin repositories wherever possible.
Goals
- Mature the technology
- Coordinate the development and maintenance of curated software distributions
- Promote adoption in the U.S.
- Foster collaboration among contributors in the U.S.
- Transition into various applications
What We Do
A holistic approach to growing and educating the seL4 developer.
- Training
- DoD Innovation Center
- Online Training
- On-site Training
- seL4 DoD Developer Certification
- Bringing New Ideas
- Landing Pad for Other Programs
- Incubator for New Ideas
- Development Center
- Outreach Program
- Gaps in seL4 and New Capabilities
- U.S. Repository
- “Controlled” Repository
- Hosting Interns
- Moderating Forums
- Sponsoring Various Academic Papers
- Holding Workshops
Privacy Policy
We use cookies to enable essential functionality on our website, and analyze website traffic. By clicking Accept you consent to our use of cookies. Read about how we use cookies.
Your Cookie Settings
We use cookies to enable essential functionality on our website, and analyze website traffic. Read about how we use cookies.
Cookie Categories
Essential
These cookies are strictly necessary to provide you with services available through our websites. You cannot refuse these cookies without impacting how our websites function. You can block or delete them by changing your browser settings, as described under the heading "Managing cookies" in the Privacy and Cookies Policy.
Analytics
These cookies collect information that is used in aggregate form to help us understand how our websites are being used or how effective our marketing campaigns are.