seL4 microkernel and related repositories

Repositories

• seL4

  The seL4 microkernel

  os microkernel sel4 sel4-microkernel
  C 425 3,007 33 35 Updated Feb 11, 2021

• util_libs
  C 39 26 11 5 Updated Feb 11, 2021

• camkes-tool

  The main CAmkES tool

  camkes
  Python 34 10 6 9 Updated Feb 11, 2021

• l4v

  seL4 specification and proofs

  proof isabelle formalisation sel4-proofs sel4-microkernel
  Isabelle 64 331 1 20 Updated Feb 11, 2021

• camkes-manifest

  Top level project for CAmkES, a component platform that provides support for developing and building static seL4 systems as a collection of interacting components.

  camkes
  10 12 0 0 Updated Feb 11, 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 Feb 11, 2021

• website

  The seL4.systems website

  proof verification microkernel sel4
  Python 5 1 1 2 Updated Feb 11, 2021

• rumprun-sel4-demoapps

  Apps for running with the rumprun unikernel on seL4.
  C 4 17 3 0 Updated Feb 11, 2021

• seL4_tools

  Basic tools for building seL4 projects

  sel4
  C 42 20 2 7 Updated Feb 11, 2021

• docs

  This is the source of the seL4 docs.

  documentation sel4
  C 24 4 1 3 Updated Feb 10, 2021

• isabelle

  git mirror of the Munich isabelle hg repository
  Isabelle 31 86 0 0 Updated Feb 10, 2021

• seL4_libs

  No-assurance libraries for rapid-prototyping of seL4 apps.
  C 33 28 1 6 Updated Feb 10, 2021

• seL4_projects_libs
  C 13 5 1 3 Updated Feb 10, 2021

• camkes

  Component Architecture test suite and example apps.

  camkes
  C 19 14 2 2 Updated Feb 10, 2021

• global-components
  C 8 1 1 0 Updated Feb 10, 2021

• ci-actions

  CI GitHub actions for the seL4 repositories

  continuous-integration ci sel4 ci-actions
  Shell 1 0 3 (1 issue needs help) 1 Updated Feb 3, 2021

• sel4-tutorials

  Tutorials for working with seL4 and/or CAmkES.
  Python 28 31 3 3 Updated Feb 3, 2021

• sel4webserver-manifest
  0 0 0 0 Updated Feb 2, 2021

• sel4test-manifest

  Project to build and test seL4 for many different platforms
  21 8 2 1 Updated Feb 1, 2021

• verification-manifest

  Manifests for the collection of verification repositories
  9 11 0 0 Updated Jan 29, 2021

• camkes-vm-examples-manifest

  camkes
  2 2 0 0 Updated Jan 22, 2021

• sel4-tutorials-manifest
  7 5 0 0 Updated Jan 22, 2021

• sel4bench-manifest

  Manifest of the seL4bench project, which contains microbenchmarks for seL4.
  4 4 0 0 Updated Jan 20, 2021

• camkes-arm-vm
  C 8 6 3 2 Updated Jan 18, 2021

• HOL

  Forked from HOL-Theorem-Prover/HOL

  This is a fork of the HOL4 sources, used by the seL4 test infrastructure. See the original above, or visit the main website:
  Standard ML 80 0 0 0 Updated Jan 17, 2021

• seL4-CAmkES-L4v-dockerfiles

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

  docker sel4 camkes l4v
  Shell 15 6 0 0 Updated Dec 24, 2020

• sel4test

  Test suite for seL4.
  C 28 13 2 4 Updated Dec 21, 2020

• pruner

  Tool for trimming functions from a C source file
  C 1 2 0 1 Updated Dec 20, 2020

• sel4bench

  sel4 benchmarking applications and support library.
  C 14 10 0 1 Updated Dec 9, 2020

• capdl

  Capability Distribution Language tools for seL4

  capdl
  Haskell 20 16 0 3 Updated Dec 4, 2020