seL4/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.

GitHub repository with 25 stars and 23 forks.

Topics: camkes

Open provider repository