seL4 microkernel and related repositories

Pinned

1. seL4

   The seL4 microkernel

   C 3.2k 458

2. l4v

   seL4 specification and proofs

   Isabelle 366 73

3. camkes

   Component Architecture test suite and example apps.

   C 17 28

4. capdl

   Capability Distribution Language tools for seL4

   Haskell 22 28

5. sel4test

   Test suite for seL4.

   C 15 33

6. sel4bench

   sel4 benchmarking applications and support library.

   C 12 16