Google GitGoogle Git
Sign in
opensecura/3p/sel4/camkes/cb16a1c46eee4d9c08d81dce135619acb77f6e92/./apps/mutex
tree: 48858b239b22f93c68366db8ee380b7c35e48248 [search]
  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.