Skip to content
@seL4

seL4 microkernel and related repositories

Provided by the seL4 Foundation

Pinned Loading

  1. seL4 seL4 Public

    The seL4 microkernel

    C 4.8k 680

  2. l4v l4v Public

    seL4 specification and proofs

    Isabelle 518 108

  3. capdl capdl Public

    Capability Distribution Language tools for seL4

    Haskell 35 45

  4. sel4test sel4test Public

    Test suite for seL4.

    C 25 63

  5. sel4bench sel4bench Public

    sel4 benchmarking applications and support library.

    C 19 31

  6. camkes-tool 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.

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

    git mirror of the Munich isabelle hg repository

    seL4/isabelle’s past year of commit activity
    Isabelle 117 40 0 0 Updated Jan 11, 2025
  • l4v Public

    seL4 specification and proofs

    seL4/l4v’s past year of commit activity
    Isabelle 518 108 50 16 Updated Jan 10, 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 Jan 10, 2025
  • website Public

    The seL4.systems website

    seL4/website’s past year of commit activity
    HTML 3 13 12 3 Updated Jan 10, 2025
  • microkit Public

    Microkit - A simple operating system framework for the seL4 microkernel

    seL4/microkit’s past year of commit activity
    Rust 99 53 30 8 Updated Jan 10, 2025
  • whitepaper Public

    Source for the seL4 white paper

    seL4/whitepaper’s past year of commit activity
    Perl 0 3 0 0 Updated Jan 8, 2025
  • sel4-tutorials Public

    Tutorials for working with seL4 and/or CAmkES.

    seL4/sel4-tutorials’s past year of commit activity
    Python 53 54 12 (1 issue needs help) 2 Updated Jan 6, 2025
  • seL4 Public

    The seL4 microkernel

    seL4/seL4’s past year of commit activity
    C 4,803 680 153 (7 issues need help) 58 Updated Jan 5, 2025
  • verification-manifest Public

    Manifests for the collection of verification repositories

    seL4/verification-manifest’s past year of commit activity
    15 15 0 0 Updated Dec 20, 2024
View all repositories

Top languages

Loading…