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/
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool