Google Git
Sign in
opensecura / 3p / sel4 / camkes / refs/heads/master / . / apps / testdataportrpc
tree: ebf4c2d0bc729848f795311f986824177d48a9ea [path history] [tgz]
  1. client.c
  2. CMakeLists.txt
  3. ctypes.h
  4. README.md
  5. server.c
  6. testdataportrpc.camkes
apps/testdataportrpc/README.md

This application tests that you can back an seL4RPCCall connection with various types of dataports.