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 2020 New!

The 2020 seL4 Virtual Summit will be held November 15 - 18, 2020. If you are interested in viewing the 2020 Agenda or attending the virtual Summit, please visit our seL4 Summit Registration and Agenda website!

seL4 Summit 2019 Presentations

The 2019 seL4 Summit was held on September 23-26, 2019 at the Hyatt Regency Dulles Herndon, VA. We would like to thank the Summit attendees, and especially the Summit speakers, for making the Summit a great success! Many of the speakers have generously agreed to make their Summit presentations available for download. Please check out the Agenda section of the 2019 seL4 Summit website for presentation downloads.

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 has been temporarily taken down in preparation for a future GitHub respository containing additional userspace applications, libraries, and software tools. Please periodically visit this website for updated information.

The latest version of seL4 can always be downloaded from the Data61/CSIRO seL4 GitHub site

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 provided an overview and explained 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
June 1-2, 2020 in Troy, MI
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?