Decoupling Cores, Kernels, and Operating Systems | USENIX
www.usenix.org