seL4 microkernel and related repositories

Repositories

• l4v

  seL4 specification and proofs

  proof isabelle formalisation sel4-proofs sel4-microkernel
  Isabelle 59 300 0 3 Updated Aug 14, 2020

• seL4

  The seL4 microkernel

  os microkernel sel4 sel4-microkernel
  C 396 2,798 21 25 Updated Aug 13, 2020

• website

  The seL4.systems website

  proof verification microkernel sel4
  Python 0 0 0 1 Updated Aug 12, 2020

• isabelle

  git mirror of the Munich isabelle hg repository
  Isabelle 29 85 0 0 Updated Aug 12, 2020

• util_libs
  C 32 21 1 5 Updated Aug 12, 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 Aug 12, 2020

• ci-actions

  CI GitHub actions for the seL4 repositories

  continuous-integration ci sel4 ci-actions
  Shell 1 0 3 (1 issue needs help) 0 Updated Aug 11, 2020

• seL4_tools

  Basic tools for building seL4 projects

  sel4
  C 34 18 0 5 Updated Aug 11, 2020

• verification-manifest

  Manifests for the collection of verification repositories
  9 11 0 0 Updated Aug 10, 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
  8 12 0 0 Updated Aug 10, 2020

• sel4bench-manifest

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

• sel4test-manifest

  Project to build and test seL4 for many different platforms
  18 8 2 0 Updated Aug 10, 2020

• capdl

  Capability Distribution Language tools for seL4

  capdl
  Haskell 18 16 0 3 Updated Aug 10, 2020

• docs

  This is the source of the seL4 docs.

  documentation sel4
  C 24 4 4 1 Updated Aug 10, 2020

• sel4test

  Test suite for seL4.
  C 25 13 2 2 Updated Aug 7, 2020

• camkes-tool

  The main CAmkES tool

  camkes
  Python 30 10 5 5 Updated Aug 6, 2020

• camkes-vm

  Virtual Machine build as a CAmkES component.

  camkes
  C 12 12 0 1 Updated Aug 5, 2020

• camkes

  Component Architecture test suite and example apps.

  camkes
  C 17 14 2 2 Updated Jul 29, 2020

• camkes-vm-examples-manifest

  camkes
  1 2 0 0 Updated Jul 22, 2020

• seL4_libs

  No-assurance libraries for rapid-prototyping of seL4 apps.
  C 28 27 1 3 Updated Jul 21, 2020

• sel4bench

  sel4 benchmarking applications and support library.
  C 11 9 0 1 Updated Jul 15, 2020

• whitepaper

  Source for the seL4 white paper

  os microkernel sel4 sel4-microkernel
  Perl 0 0 0 0 Updated Jun 17, 2020

• musllibc
  C 18 13 0 0 Updated Jun 15, 2020

• graph-refine

  proof sel4 translation-validation refinement-proof
  Python 3 5 0 0 Updated Apr 7, 2020

• camkes-vm-examples

  camkes
  C 3 5 2 0 Updated Feb 19, 2020

• camkes-vm-manifest

  CAmkES code and examples

  camkes
  6 6 1 0 Updated May 10, 2018

• pruner

  Tool for trimming functions from a C source file
  C 0 2 0 0 Updated Jan 17, 2018

• refos

  Prototype no-assurance reference OS personality built on seL4
  C 18 26 1 0 Updated Mar 16, 2017

• refos-manifest

  Reference Operating system based on seL4 --- example code
  13 17 3 0 Updated Oct 18, 2016