Running multithreaded applications in exokernel-based systems: porting CThreads to Xok | IEEE Conference Publication | IEEE Xplore