Improving IPC by Kernel Design HackMD: https://hackmd.io/s/SklN6PRC Thesis Information Links: http://sci-hub.cc/10.1145/173668.168633 Author: Jochen Liedtke German National Research Center for Computer …