Popular repositories Loading

1. sDDF sDDF Public

   seL4 Device Driver Framework

   C 23 11

2. camkes-tool camkes-tool Public

   Forked from seL4/camkes-tool

   The main CAmkES tool

   Python

3. camkes-manifest camkes-manifest Public

   Forked from xurtis/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.

4. util_libs util_libs Public

   Forked from seL4/util_libs

   C

5. camkes camkes Public

   Forked from xurtis/camkes

   Component Architecture test suite and example apps.

   C

6. seL4_tools seL4_tools Public

   Forked from seL4/seL4_tools

   Basic tools for building seL4 projects

   C