seL4 Center of Excellence

seL4 is the first formally verified microkernel, which offers fundamental software separation properties and provides new opportunities to build assured computer systems. The goals of the seL4 Center of Excellence include maturation of seL4 technology, stabilization of the software distribution, training and expanding the user base, and developing much needed capabilities required by the Department of Defense, other government agencies, and commercial applications.

What's New?

seL4 Summit 2019

Please save the dates! The 2019 seL4 Summit will be held September 23-26, 2019 at the Hyatt Regency Dulles, Herndon, VA. For more information about the 2019 seL4 Summit, please visit the 2019 seL4 Summit website.

Training Opportunities!

Please check out upcoming seL4-related training opportunities in the Training section of this website.

seL4 Summit 2018

The first annual seL4 Summit was held on November 14-16, 2018 at the Hilton Washington Dulles Airport, Herndon, VA. For more information about the 2018 seL4 Summit, please visit the 2018 seL4 Summit website.


The slides contain a brief oveview about the seL4 Center of Excellence (CoE). Topics covered in this overview include:

  • seL4 CoE goals
  • The Role of the USA seL4 CoE
  • CoE Teaming Agreement
  • Information about Public and Private Repositories

View the slides in PDF format


The seL4-US Wiki contains background information about seL4, general information about microkernels, and links to other resources such as tutorials and documentation.

Visit the seL4-US Wiki now


The seL4-US GitHub public repository currently hosts version 1.0 of seL4.

Visit the seL4-US GitHub repository now

Discussion Forums

Soon the seL4 CoE team will host seL4 discussion forums. If you have seL4 questions to ask, seL4 knowledge to share, or would just like to join seL4 related discussions, please check back soon.

Training Opportunities

On behalf of the seL4 CoE, DornerWorks, Ltd. would like to announce a free, seL4 webinar.

Introduction to seL4 Webinar
February 7, 2019 at 11:00 am EST
This introductory webinar will provide an overview and explain the basics of seL4.
If you missed this excellent introduction to seL4 held on 2-7-2019, you can find a recording of the webinar on YouTube:
The webinar slides can be downloaded from DornerWorks:

In addition, please explore these advanced, seL4-related training opportunities:

Formal Methods for Functional Safety and Security in Cyber-Physical Systems [More Info]- ID#C1876
Dates and location to be announced soon
Instructor: Dr. Taylor T. Johnson, Vanderbilt Univ.

Introduction to the Secure Microkernel, seL4 [More Info]- ID#C1874
July 16-17, 2019 in Herndon, VA and October 15-16, 2019 in San Jose, CA
Instructors: Robbie VanVossen, DornerWorks, Ltd. and Nathan Studer, DornerWorks, Ltd.

Complete course descriptions, learning objectives, target audience, course outlines, and instructor biographies are available at the above links.


Do you have additional questions about the website or seL4 in general?