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