ujfj1986/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.
Top level project for CAmkES, a component platform that provides support for developing and building static seL4 systems as a collection of interacting components.