• git mirror of the Munich isabelle hg repository

    Isabelle 19 9 Updated Feb 24, 2017
  • Virtual Machine build as a CAmkES component.

    C 2 5 Updated Feb 24, 2017
  • C 2 7 Updated Feb 23, 2017
  • Test suite for seL4.

    C 1 6 Updated Feb 23, 2017
  • The seL4 microkernel

    C 1,550 204 Updated Feb 23, 2017
  • Haskell 2 2 Updated Feb 23, 2017
  • The main CAmkES tool

    C 2 6 Updated Feb 23, 2017
  • Manifests for the collection of verification repositories

    6 7 Updated Feb 20, 2017
  • seL4 specification and proofs

    Isabelle 150 26 Updated Feb 20, 2017
  • OS independent basic driver library (mostly timers, serial, clocks)

    C 7 8 Updated Feb 17, 2017
  • C 2 6 Updated Feb 16, 2017
  • C 3 4 Updated Feb 10, 2017
  • Component Architecture test suite and example apps.

    C 3 2 Updated Feb 10, 2017
  • C 2 6 Updated Feb 7, 2017
  • CAmkES code and examples

    3 3 Updated Jan 25, 2017
  • sel4 benchmarking applications and support library.

    C Updated Jan 13, 2017
  • Project to build and test seL4 for many different platforms

    3 8 Updated Jan 9, 2017
  • Manifest of the seL4bench project, which contains microbenchmarks for seL4.

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

    5 3 Updated Dec 14, 2016
  • Simple CAmkES app to demonstrate dataport

    Makefile Updated Dec 14, 2016
  • Sample simple CAmkES app.

    C Updated Dec 14, 2016
  • simple CAmkES app to demonstrate events

    Makefile Updated Dec 14, 2016
  • Reference OS personality built on seL4

    C 14 14 Updated Nov 30, 2016
  • Reference Operating system based on seL4 --- example code

    13 10 Updated Oct 18, 2016
  • A tool to assist working with capDL textual specifications.

    Haskell 3 Updated Mar 28, 2016
  • Allocation interface for seL4 -- all allocators should implement this interface.

    C 1 4 Updated Feb 11, 2016
  • seL4 specific OS utility library -- implements threads, processes, virtual memory, elf loading etc.

    C 7 7 Updated Feb 11, 2016
  • Library of drivers for seL4 -- uses libplatsupport for OS independent functionality.

    C 2 4 Updated Nov 12, 2015
  • Very basic test framework and utilities for seL4. Supports XML output for junit.

    C 1 Updated Nov 12, 2015
  • Implementation of simple interface for master branch of seL4.

    C 3 Updated Nov 12, 2015