Skip to content
@seL4

seL4 microkernel and related repositories

Provided by the seL4 Foundation

Pinned Loading

  1. seL4 Public

    The seL4 microkernel

    C 4.9k 686

  2. l4v Public

    seL4 specification and proofs

    Isabelle 536 109

  3. capdl Public

    Capability Distribution Language tools for seL4

    Haskell 35 46

  4. sel4test Public

    Test suite for seL4.

    C 26 66

  5. sel4bench Public

    sel4 benchmarking applications and support library.

    C 20 32

  6. camkes-tool Public

    The main CAmkES tool

    Python 29 71

Repositories

Showing 10 of 62 repositories
  • docs Public

    This is the source of the seL4 docs.

    C 16 54 11 (1 issue needs help) 4 Updated Mar 31, 2025
  • l4v Public

    seL4 specification and proofs

    Isabelle 536 109 54 13 Updated Mar 31, 2025
  • isabelle Public

    git mirror of the Munich isabelle hg repository

    Isabelle 121 41 0 0 Updated Mar 31, 2025
  • verification-manifest Public

    Manifests for the collection of verification repositories

    16 16 0 0 Updated Mar 31, 2025
  • seL4 Public

    The seL4 microkernel

    C 4,869 686 160 (7 issues need help) 53 Updated Mar 31, 2025
  • microkit Public

    Microkit - A simple operating system framework for the seL4 microkernel

    Rust 114 55 23 6 Updated Mar 30, 2025
  • sel4test-manifest Public

    Project to build and test seL4 for many different platforms

    16 41 3 0 Updated Mar 28, 2025
  • website Public

    The seL4.systems website

    HTML 3 13 12 1 Updated Mar 28, 2025
  • ci-actions Public

    CI GitHub actions for the seL4 repositories

    Python 3 14 23 (2 issues need help) 3 Updated Mar 28, 2025
  • 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.

    22 23 1 0 Updated Mar 28, 2025
View all repositories

Most used topics

Loading…