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

This application tests that dataport pointer wrapping and unwrapping functionality works on multiplexed dataports.