Debugging the Linux Kernel with GDB by Kieran Bingham - Tech Talk