Google GitGoogle Git
Sign in
opensecura/3p/sel4/camkes/cb16a1c46eee4d9c08d81dce135619acb77f6e92/./apps/testdataportrpc
tree: ebf4c2d0bc729848f795311f986824177d48a9ea
  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.