Google Git
Sign in
opensecura/3p/sel4/camkes/cb16a1c46eee4d9c08d81dce135619acb77f6e92/./apps/socket
tree: 68a2adbfc27841af80d3236aacda6f3c69dba5f3
  1. components/
  2. CMakeLists.txt
  3. README.md
  4. socket.camkes
apps/socket/README.md

This is an example of user-defined dataport.