googyouhua / camkes-manifest Goto Github PK
View Code? Open in Web Editor NEWThis project forked from 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.
Home Page: http://wiki.sel4.systems/CAmkES/
License: Other