camkes-cli (pypi): Command line interface for the CAmkES component framework
Keywords: camkes|sel4