Google Git
Sign in
opensecura / 3p / sel4 / camkes / refs/heads/master / . / apps / socket
tree: 68a2adbfc27841af80d3236aacda6f3c69dba5f3 [path history] [tgz]
  1. components/
  2. CMakeLists.txt
  3. README.md
  4. socket.camkes
apps/socket/README.md

This is an example of user-defined dataport.