Skip to content
@seL4

seL4 microkernel and related repositories

Provided by the seL4 Foundation

Pinned Loading

  1. seL4 seL4 Public

    The seL4 microkernel

    C 5.9k 830

  2. l4v l4v Public

    seL4 specification and proofs

    Isabelle 661 134

  3. capdl capdl Public

    Capability Distribution Language tools for seL4

    Haskell 44 51

  4. sel4test sel4test Public

    Test suite for seL4.

    C 40 76

  5. sel4bench sel4bench Public

    sel4 benchmarking applications and support library.

    C 26 39

  6. camkes-tool camkes-tool Public

    The main CAmkES tool

    Python 27 73

Repositories

Showing 10 of 67 repositories
  • docs Public

    This is the source of the seL4 docs.

    seL4/docs's past year of commit activity
    HTML 19 67 10 4 Updated Nov 15, 2026
  • isabelle Public

    git mirror of the Munich isabelle hg repository

    seL4/isabelle's past year of commit activity
    Isabelle 143 43 0 0 Updated Nov 15, 2026
  • seL4 Public

    The seL4 microkernel

    seL4/seL4's past year of commit activity
    C 5,877 829 169 (5 issues need help) 59 Updated Nov 13, 2026
  • ci-actions Public

    CI GitHub actions for the seL4 repositories

    seL4/ci-actions's past year of commit activity
    Python 5 20 19 (2 issues need help) 4 Updated Nov 13, 2026
  • rfcs Public

    RFCs for the seL4 ecosystem

    seL4/rfcs's past year of commit activity
    Python 2 7 1 11 Updated Nov 13, 2026
  • l4v Public

    seL4 specification and proofs

    seL4/l4v's past year of commit activity
    Isabelle 661 133 69 10 Updated Nov 13, 2026
  • website_pr_hosting Public

    This repo stores the generated website files from PRs on https://github.com/seL4/website

    seL4/website_pr_hosting's past year of commit activity
    HTML 1 0 0 0 Updated Nov 12, 2026
  • website Public

    The seL4.systems website

    seL4/website's past year of commit activity
    HTML 4 16 5 3 Updated Nov 12, 2026
  • sel4test-manifest Public

    Project to build and test seL4 for many different platforms

    seL4/sel4test-manifest's past year of commit activity
    19 51 2 0 Updated Nov 12, 2026
  • seL4-CAmkES-L4v-dockerfiles Public

    Dockerfiles defining the dependencies required to build seL4, CAmkES, and L4v.

    seL4/seL4-CAmkES-L4v-dockerfiles's past year of commit activity
    Shell 15 41 2 1 Updated Nov 11, 2026
View all repositories