В руководстве "Debugging Kernel Problems" (PDF) досконально рассмотрена тема выявления ошибок, решения проблем и отладки ядер операционных систем семейства BSD (FreeBSD, OpenBSD, NetBSD).

Описано как определить из-за чего произошел крах системы (panic), какие логи, файлы и программы нужно использовать для первичного анализа, как пользоваться внутренним и внешним отладчиком (ddb, gdb) для отладки ядра (анализ panic дампа (dumpon, savecore) и отладка работающего ядра), описание составных частей и внутреннего устройства ядра.