The seL4 Foundation

seL4 Foundation Members

Below is the list of members of the seL4 Foundation.

Want to be part of the adventure?

Become a Member

Premium
Jump Trading
NIO
UNSW Sydney

Founding member

Endorsed Service Provider

General
Apple
Cog Systems Inc

Founding member

Endorsed Service Provider

DornerWorks Ltd

Founding member

Endorsed Service Provider

Kry10 Limited

Endorsed Service Provider

MEP
Penten Pty Ltd
Proofcraft

Endorsed Service Provider

Raytheon Technologies
Associate
Autoware Foundation
Cyberagentur
ETH Zurich
Kansas State University
Lewis & Clark College
NCSC
RISC-V International
Technology Innovation Institute
TU Munich
University of Kansas