Skip to content
@seL4

seL4 microkernel and related repositories

Provided by the seL4 Foundation

Pinned Loading

  1. seL4 seL4 Public

    The seL4 microkernel

    C 5k 704

  2. l4v l4v Public

    seL4 specification and proofs

    Isabelle 551 113

  3. capdl capdl Public

    Capability Distribution Language tools for seL4

    Haskell 37 47

  4. sel4test sel4test Public

    Test suite for seL4.

    C 28 66

  5. sel4bench sel4bench Public

    sel4 benchmarking applications and support library.

    C 20 35

  6. camkes-tool camkes-tool Public

    The main CAmkES tool

    Python 29 72

Repositories

Showing 10 of 62 repositories
  • ci-actions Public

    CI GitHub actions for the seL4 repositories

    seL4/ci-actions’s past year of commit activity
    Python 3 14 22 (2 issues need help) 4 Updated Jul 1, 2025
  • docs Public

    This is the source of the seL4 docs.

    seL4/docs’s past year of commit activity
    C 16 56 11 (1 issue needs help) 4 Updated Jul 1, 2025
  • microkit Public

    Microkit - A simple operating system framework for the seL4 microkernel

    seL4/microkit’s past year of commit activity
    Rust 127 59 24 5 Updated Jul 1, 2025
  • l4v Public

    seL4 specification and proofs

    seL4/l4v’s past year of commit activity
    Isabelle 551 113 55 15 Updated Jul 1, 2025
  • website Public

    The seL4.systems website

    seL4/website’s past year of commit activity
    HTML 3 13 4 1 Updated Jul 1, 2025
  • sel4bench-manifest Public

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

    seL4/sel4bench-manifest’s past year of commit activity
    7 12 1 2 Updated Jul 1, 2025
  • rust-sel4 Public

    Rust support for seL4 userspace

    seL4/rust-sel4’s past year of commit activity
    Rust 161 28 32 1 Updated Jun 27, 2025
  • camkes Public

    Component Architecture test suite and example apps.

    seL4/camkes’s past year of commit activity
    C 29 38 4 3 Updated Jun 27, 2025
  • 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 0 0 0 0 Updated Jun 27, 2025
  • seL4 Public

    The seL4 microkernel

    seL4/seL4’s past year of commit activity
    C 5,000 704 166 (7 issues need help) 58 Updated Jun 25, 2025
View all repositories