Getting to the Heart of the Linux Kernel