Linux Kernel Debugging, published by Packt - View it on GitHub