Отладка ядра ARM Linux на AT91SAM9261

Я перенес Linux на плату AT91SAM9261, собрал собственную Bootstrap, Uboot, Kernel и файловую систему.

Теперь я хочу отладить ядро ​​Linux 2.6.30, используя KGDB и GDB. У меня есть хост с установленной Ubuntu и целевой (AT91SAM9261) с ядром 2.6.30, я хочу отладить ядро ​​Linux 2.6.30 с использованием последовательного интерфейса /Ethernet. На официальном сайте KGDB они дали патч KGDB для x86, но не для ARM.

Возможно ли отладить ядро ​​ARM Linux на AT91SAM9261?