Improving IPC by Kernel Design