Decoupling Cores, Kernels, and Operating Systems presented at OSDI 2014

by Timothy Roscoe, Gerd Zellweger, Simon Gerber, Kornilios Kourtis,

Summary : N/A