seL4 microkernel and related repositories

Repositories

• l4v

  seL4 specification and proofs

  proof isabelle formalisation sel4-proofs sel4-microkernel
  Isabelle 64 317 1 13 Updated Dec 1, 2020

• seL4-CAmkES-L4v-dockerfiles

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

  docker sel4 camkes l4v
  Shell 14 6 2 2 Updated Dec 1, 2020

• seL4_projects_libs
  C 12 5 2 4 Updated Nov 30, 2020

• 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 Nov 30, 2020

• rumprun-sel4-demoapps

  Apps for running with the rumprun unikernel on seL4.
  C 4 17 2 0 Updated Nov 30, 2020

• seL4

  The seL4 microkernel

  os microkernel sel4 sel4-microkernel
  C 421 2,927 27 36 Updated Nov 30, 2020

• sel4-tutorials-manifest
  7 5 0 0 Updated Nov 30, 2020

• seL4_tools

  Basic tools for building seL4 projects

  sel4
  C 41 19 2 9 Updated Nov 30, 2020

• camkes-tool

  The main CAmkES tool

  camkes
  Python 31 10 6 7 Updated Nov 30, 2020

• website

  The seL4.systems website

  proof verification microkernel sel4
  Python 4 1 2 2 Updated Nov 29, 2020

• docs

  This is the source of the seL4 docs.

  documentation sel4
  C 24 4 1 2 Updated Nov 29, 2020

• verification-manifest

  Manifests for the collection of verification repositories
  9 11 0 0 Updated Nov 29, 2020

• polyml

  Forked from polyml/polyml

  This is a clone of Poly/ML which contains the extra branch successful-decompile. See the original or main website:
  Standard ML LGPL-2.1 29 0 0 0 Updated Nov 30, 2020

• 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 78 0 0 0 Updated Nov 29, 2020

• camkes-arm-vm-manifest

  Manifest for building a virtual machine on seL4 on ARM.
  5 7 1 0 Updated Nov 29, 2020

• sel4webserver-manifest
  0 0 0 0 Updated Nov 29, 2020

• sel4bench-manifest

  Manifest of the seL4bench project, which contains microbenchmarks for seL4.
  4 4 0 1 Updated Nov 29, 2020

• sel4test-manifest

  Project to build and test seL4 for many different platforms
  20 8 2 1 Updated Nov 29, 2020

• util_libs
  C 37 24 12 7 Updated Nov 29, 2020

• website_pr_hosting

  This repo stores the generated website files from PRs on https://github.com/seL4/website
  HTML 0 0 0 0 Updated Nov 28, 2020

• picotcp

  Forked from tass-belgium/picotcp

  PicoTCP is a free TCP/IP stack implementation
  C 178 1 0 0 Updated Nov 27, 2020

• isabelle

  git mirror of the Munich isabelle hg repository
  Isabelle 29 85 0 0 Updated Nov 26, 2020

• camkes-vm-examples-manifest

  camkes
  1 2 0 0 Updated Nov 24, 2020

• projects_libs
  C++ 7 2 0 0 Updated Nov 18, 2020

• capdl

  Capability Distribution Language tools for seL4

  capdl
  Haskell 18 16 0 4 Updated Nov 17, 2020

• camkes-vm-manifest Archived

  CAmkES code and examples

  camkes
  6 6 0 0 Updated Nov 13, 2020

• camkes-vm-examples

  camkes
  C 6 5 1 0 Updated Nov 12, 2020

• seL4_libs

  No-assurance libraries for rapid-prototyping of seL4 apps.
  C 32 28 1 4 Updated Nov 11, 2020

• 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 Nov 11, 2020

• graph-refine

  proof sel4 translation-validation refinement-proof
  Python 4 5 0 0 Updated Nov 10, 2020