seL4 microkernel and related repositories

Repositories

• seL4_tools

  Basic tools for building seL4 projects

  sel4
  C 49 20 5 (2 issues need help) 10 Updated Aug 3, 2021

• website

  The seL4.systems website

  proof verification microkernel sel4
  Python 7 1 2 0 Updated Aug 3, 2021

• l4v

  seL4 specification and proofs

  proof isabelle formalisation sel4-proofs sel4-microkernel
  Isabelle 73 365 3 5 Updated Aug 3, 2021

• website_pr_hosting

  This repo stores the generated website files from PRs on https://github.com/seL4/website
  HTML 0 0 0 0 Updated Aug 3, 2021

• ci-actions

  CI GitHub actions for the seL4 repositories

  continuous-integration ci sel4 ci-actions
  Python 2 0 27 (1 issue needs help) 0 Updated Aug 3, 2021

• isabelle

  git mirror of the Munich isabelle hg repository
  Isabelle 33 95 0 0 Updated Aug 3, 2021

• docs

  This is the source of the seL4 docs.

  documentation sel4
  C 30 4 1 2 Updated Aug 3, 2021

• projects_libs
  C++ 10 3 0 0 Updated Aug 2, 2021

• camkes-vm-examples

  camkes
  C 13 6 2 1 Updated Aug 2, 2021

• seL4_projects_libs
  C 17 7 1 5 Updated Aug 3, 2021

• camkes-vm-images

  Precompiled kernels etc. for use with camkes VMs.
  CMake 8 0 0 2 Updated Aug 2, 2021

• seL4

  The seL4 microkernel

  os microkernel sel4 sel4-microkernel
  C 452 3,207 42 (3 issues need help) 59 Updated Aug 2, 2021

• verification-manifest

  Manifests for the collection of verification repositories
  9 12 0 0 Updated Jul 29, 2021

• sel4-tutorials

  Tutorials for working with seL4 and/or CAmkES.
  Python 32 32 3 2 Updated Jul 29, 2021

• sel4test

  Test suite for seL4.
  C 31 14 4 (1 issue needs help) 3 Updated Jul 29, 2021

• camkes-tool

  The main CAmkES tool

  camkes
  Python 40 11 9 (1 issue needs help) 5 Updated Jul 29, 2021

• sel4webserver

  An seL4 reference webserver application
  CMake 3 2 1 0 Updated Jul 28, 2021

• rumprun-sel4-demoapps

  Apps for running with the rumprun unikernel on seL4.
  C 5 19 3 0 Updated Jul 28, 2021

• sel4runtime

  A minimal runtime for seL4 applications.
  C 13 7 2 1 Updated Jul 28, 2021

• global-components
  C 15 1 1 1 Updated Jul 26, 2021

• util_libs
  C 46 32 12 2 Updated Jul 14, 2021

• camkes-vm

  Virtual Machine build as a CAmkES component.

  camkes
  C 19 12 1 2 Updated Jul 14, 2021

• gh-testboard

  Repository for verification testboard manifests
  0 0 0 0 Updated Jul 12, 2021

• seL4_libs

  No-assurance libraries for rapid-prototyping of seL4 apps.
  C 38 29 3 3 Updated Jul 7, 2021

• sel4test-manifest

  Project to build and test seL4 for many different platforms
  22 9 0 0 Updated Jul 7, 2021

• camkes

  Component Architecture test suite and example apps.

  camkes
  C 26 16 1 2 Updated Jul 6, 2021

• seL4-CAmkES-L4v-dockerfiles

  Dockerfiles defining the dependencies required to build seL4, CAmkES, and L4v.

  docker sel4 camkes l4v
  Shell 16 7 0 1 Updated Jul 4, 2021

• sel4webserver-manifest
  0 0 0 0 Updated Jul 1, 2021

• capdl

  Capability Distribution Language tools for seL4

  capdl
  Haskell 26 22 1 3 Updated Jun 30, 2021

• sel4bench-manifest

  Manifest of the seL4bench project, which contains microbenchmarks for seL4.
  5 4 0 0 Updated Jun 24, 2021