Skip to content
@seL4

seL4 microkernel and related repositories

Provided by the seL4 Foundation

Pinned Loading

  1. seL4 Public

    The seL4 microkernel

    C 5.6k 777

  2. l4v Public

    seL4 specification and proofs

    Isabelle 616 121

  3. capdl Public

    Capability Distribution Language tools for seL4

    Haskell 40 50

  4. sel4test Public

    Test suite for seL4.

    C 31 72

  5. sel4bench Public

    sel4 benchmarking applications and support library.

    C 22 38

  6. camkes-tool Public

    The main CAmkES tool

    Python 27 74

Repositories

Showing 10 of 67 repositories
  • l4v Public

    seL4 specification and proofs

    Isabelle 616 121 66 11 Updated Jun 24, 2026
  • docs Public

    This is the source of the seL4 docs.

    HTML 18 63 10 7 Updated Jun 24, 2026
  • isabelle Public

    git mirror of the Munich isabelle hg repository

    Isabelle 138 43 0 0 Updated Jun 24, 2026
  • seL4 Public

    The seL4 microkernel

    C 5,587 777 155 (5 issues need help) 66 Updated Jun 24, 2026
  • verification-manifest Public

    Manifests for the collection of verification repositories

    17 17 0 0 Updated Jun 24, 2026
  • ci-actions Public

    CI GitHub actions for the seL4 repositories

    Python 3 18 17 (2 issues need help) 4 Updated Jun 23, 2026
  • website Public

    The seL4.systems website

    HTML 3 15 5 6 Updated Jun 23, 2026
  • sel4bench-results Public

    Historical sel4bench data

    0 0 0 0 Updated Jun 23, 2026
  • sel4bench-manifest Public

    Manifest of the seL4bench project, which contains microbenchmarks for seL4.

    7 12 1 2 Updated Jun 23, 2026
  • camkes-manifest Public

    Top level project for CAmkES, a component platform that provides support for developing and building static seL4 systems as a collection of interacting components.

    25 23 2 0 Updated Jun 23, 2026
View all repositories