kernel debugging
Merge pull request #6 from pfeiffersz/kernel_debugging

kernel debugging