Skip to content

@seL4 seL4 microkernel and related repositories

Change the repository type filter

All

    Repositories list

    65 repositories

    • docs

      Public
      This is the source of the seL4 docs.
      documentationsel4
      documentationsel4
      HTML
      •62•18•11•7•Updated Apr 23, 2026Apr 23, 2026

    • isabelle

      Public
      git mirror of the Munich isabelle hg repository
      Isabelle
      •
      Other
      •43•137•0•0•Updated Apr 23, 2026Apr 23, 2026

    • website

      Public
      The seL4.systems website
      proofverificationmicrokernel
      proofverificationmicrokernelsel4
      HTML
      •15•3•5•5•Updated Apr 22, 2026Apr 22, 2026

    • website_pr_hosting

      Public
      This repo stores the generated website files from PRs on https://github.com/seL4/website
      HTML
      •0•0•0•0•Updated Apr 22, 2026Apr 22, 2026

    • microkit

      Public
      Microkit - A simple operating system framework for the seL4 microkernel
      Rust
      •
      Other
      •72•181•36•12•Updated Apr 22, 2026Apr 22, 2026

    • rust-sel4

      Public
      Rust support for seL4 userspace
      Rust
      •37•198•40•10•Updated Apr 20, 2026Apr 20, 2026

    • ci-actions

      Public
      CI GitHub actions for the seL4 repositories
      continuous-integrationcisel4
      continuous-integrationcisel4ci-actions
      Python
      •17•3•19•13•Updated Apr 16, 2026Apr 16, 2026

    • l4v

      Public
      seL4 specification and proofs
      proofisabelleformalisation
      proofisabelleformalisationsel4-proofssel4-microkernel
      Isabelle
      •
      Other
      •117•603•62•9•Updated Apr 15, 2026Apr 15, 2026

    • sel4bench-manifest

      Public
      Manifest of the seL4bench project, which contains microbenchmarks for seL4.
      12•7•1•2•Updated Apr 13, 2026Apr 13, 2026

    • sel4test-manifest

      Public
      Project to build and test seL4 for many different platforms
      46•17•2•0•Updated Apr 13, 2026Apr 13, 2026

    • verification-manifest

      Public
      Manifests for the collection of verification repositories
      17•17•0•0•Updated Apr 13, 2026Apr 13, 2026

    • camkes-vm-examples-manifest

      Public
      camkes
      camkes
      18•7•0•0•Updated Apr 13, 2026Apr 13, 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 componen…
      camkes
      camkes
      23•23•2•0•Updated Apr 13, 2026Apr 13, 2026

    • rumprun-sel4-demoapps

      Public
      Apps for running with the rumprun unikernel on seL4.
      C
      •
      Other
      •11•33•5•1•Updated Apr 13, 2026Apr 13, 2026

    • sel4-tutorials-manifest

      Public
      Other
      •19•7•1•0•Updated Apr 13, 2026Apr 13, 2026

    • sel4webserver-manifest

      Public
      2•2•1•0•Updated Apr 13, 2026Apr 13, 2026

    • seL4

      Public
      The seL4 microkernel
      osmicrokernelsel4
      osmicrokernelsel4sel4-microkernel
      C
      •
      Other
      •760•5.4k•152•66•Updated Apr 13, 2026Apr 13, 2026

    • seL4_libs

      Public
      No-assurance libraries for rapid-prototyping of seL4 apps.
      C
      •
      Other
      •76•57•8•10•Updated Apr 8, 2026Apr 8, 2026

    • sel4test

      Public
      Test suite for seL4.
      C
      •
      Other
      •71•30•13•10•Updated Apr 7, 2026Apr 7, 2026

    • camkes-vm-examples

      Public
      camkes
      camkes
      C
      •
      Other
      •34•17•6•9•Updated Apr 7, 2026Apr 7, 2026

    • seL4-CAmkES-L4v-dockerfiles

      Public
      Dockerfiles defining the dependencies required to build seL4, CAmkES, and L4v.
      dockersel4camkes
      dockersel4camkesl4v
      Shell
      •41•14•2•1•Updated Apr 5, 2026Apr 5, 2026

    • seL4_tools

      Public
      Basic tools for building seL4 projects
      sel4
      sel4
      C
      •
      Other
      •106•53•15•16•Updated Apr 5, 2026Apr 5, 2026

    • seL4-rust-tutorial-code

      Public
      Code for a tutorial on how to use Rust to build on top of seL4.
      Rust
      •1•1•0•0•Updated Mar 31, 2026Mar 31, 2026

    • seL4-rust-tutorial

      Public
      Materials for a tutorial on how to use Rust to build on top of seL4.
      Rust
      •2•1•2•0•Updated Mar 31, 2026Mar 31, 2026

    • camkes-tool

      Public
      The main CAmkES tool
      camkes
      camkes
      Python
      •73•27•15•4•Updated Mar 31, 2026Mar 31, 2026

    • cakeml_libs

      Public
      A collection of libraries and utilities to be used with CakeML applications.
      Standard ML
      •5•1•0•0•Updated Mar 31, 2026Mar 31, 2026

    • rumprun

      Public
      The Rumprun unikernel and toolchain for various platforms
      C
      •
      Other
      •126•11•2•0•Updated Mar 31, 2026Mar 31, 2026

    • sel4runtime

      Public
      A minimal runtime for seL4 applications.
      C
      •
      Other
      •33•14•4•0•Updated Mar 31, 2026Mar 31, 2026

    • seL4_projects_libs

      Public
      C
      •
      Other
      •44•19•10•19•Updated Mar 31, 2026Mar 31, 2026

    • sel4-tutorials

      Public
      Tutorials for working with seL4 and/or CAmkES.
      Python
      •58•58•12•2•Updated Mar 31, 2026Mar 31, 2026
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.