camkes-cli

Command line interface for the CAmkES component framework


Keywords
camkes, sel4
License
BSD-3-Clause-Attribution
Install
pip install camkes-cli==0.4.0

Documentation

CAmkES Command Line Interface

Utility for creating and manipulating a camkes project.