[lk] FreeBSD: Lecture 6 Kernel Debugging + Ports Development
http://www.slideshare.net/memoegyptian/lecture-6-kernel-debugging-ports-development
[lk] Welcome to Kernel Debugging Land... | Haiku Project
https://www.haiku-os.org/documents/dev/welcome_to_kernel_debugging_land