¿Has leído esto:https://www.kernel.org/pub/linux/kernel/people/jwessel/kgdb/ch03s04.html?
Debe ejecutar el kernel depurado con opciones especiales, como por ejemplo:
kgdbwait kgdbcon [email protected]/,@192.168.242.24/00:11:22:33:44:55
y en el lado de la depuración, ejecuta los siguientes comandos:
gdb
file vmlinux
target remote udp:192.168.248.76:6443
me ha funcionado.
Puede obtener el código fuente de kgdboe desde aquí, compilarlo y cargarlo en su kernel:
make -C /lib/modules/$(uname -r)/build M=$(pwd)
sudo insmod kgdboe.ko
Luego escriba 'dmesg' para ver el registro de carga y obtener instrucciones sobre cómo conectarse desde gdb.