Google Git
Sign in
opensecura / 3p / sel4 / camkes / refs/heads/master / . / apps / mutex
tree: 48858b239b22f93c68366db8ee380b7c35e48248 [path history] [tgz]
  1. components/
  2. interfaces/
  3. templates/
  4. CMakeLists.txt
  5. mutex.camkes
  6. README.md
apps/mutex/README.md

This application demonstrates the use of user-defined connectors in CAmkES.