Kernel debugging essentials workshop

Ladies and Gentlemen,

would anyone around be interested in attending a workshop on basics of finding and debugging (and eventually fixing) common issues with Linux kernel?

Topics I'd initially cover would include leveraging in-kernel debugging facilities, techniques for capturing debug output from various crashes, understanding the captured data, and modifying, building and loading the altered kernel code with more debugging code or an actual fix.

Basically the only requirement would be knowing some C.

Thank you Lubo