Ubuntu 12.10 - Как использовать GDB для отладки модуля ядра?

Я пытаюсь использовать gdb для просмотра вызовов функций моего беспроводного драйвера. Мой водитель - ath5k. На мой взгляд, все, что мне нужно сделать, это использовать gdb для отладки модуля ath5k. Это правильно? Кто-нибудь может дать мне подсказку, как это сделать?