seL4 microkernel and related repositories

Pinned

1. seL4 Public

   The seL4 microkernel

   C 4.1k 571

2. l4v Public

   seL4 specification and proofs

   Isabelle 445 90

3. capdl Public

   Capability Distribution Language tools for seL4

   Haskell 29 38

4. sel4test Public

   Test suite for seL4.

   C 19 54

5. sel4bench Public

   sel4 benchmarking applications and support library.

   C 18 22

6. camkes-tool Public

   The main CAmkES tool

   Python 29 57