Как debug'нуть ядро?

Хотел бы отладить ядро Linux'a и FreeBSD или, хотя бы, профилировать его. Слышал, что можно использовать удаленную отладку через gdb-server, но как это сделать нигде ни слова. Thanks.