8000 seL4 microkernel and related repositories · GitHub
[go: up one dir, main page]
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 823

  2. l4v l4v Public

    seL4 specification and proofs

    Isabelle 662 130

  3. capdl capdl Public

    Capability Distribution Language tools for seL4

    Haskell 44 50

  4. sel4test sel4test Public

    Test suite for seL4.

    C 39 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 72

Repositories

Showing 10 of 67 repositories
  • camkes-vm-examples-manifest Public
    seL4/camkes-vm-examples-manifest's past year of commit activity
    8 19 0 0 Updated Nov 6, 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.

    seL4/camkes-manifest's past year of commit activity
    27 23 2 0 Updated Nov 6, 2026
  • verification-manifest Public

    Manifests for the collection of verification repositories

    seL4/verification-manifest's past year of commit activity
    18 17 0 0 Updated Nov 6, 2026
  • sel4webserver-manifest Public
    seL4/sel4webserver-manifest's past year of commit activity
    3 2 1 0 Updated Nov 6, 2026
  • sel4-tutorials-manifest Public
    seL4/sel4-tutorials-manifest's past year of commit activity
    8 19 1 0 Updated Nov 6, 2026
  • seL4 Public

    The seL4 microkernel

    seL4/seL4's past year of commit activity
    C 5,861 823 169 (5 issues need help) 58 Updated Nov 6, 2026
  • website Public

    The seL4.systems website

    seL4/website's past year of commit activity
    HTML 4 16 5 8 Updated Nov 6, 2026
  • sel4bench-results Public

    Historical sel4bench data

    seL4/sel4bench-results's past year of commit activity
    Python 1 0 0 1 Updated Nov 6, 2026
  • sel4bench-manifest Public

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

    seL4/sel4bench-manifest's past year of commit activity
    9 13 1 2 Updated Nov 6, 2026
  • l4v Public

    seL4 specification and proofs

    seL4/l4v's past year of commit activity
    Isabelle 662 130 69 9 Updated Nov 6, 2026
View all repositories
0