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

This application demonstrates a simple pthreads program that runs in a rumprun unikernel instance on CAmkES on seL4.