Hai letto questo:https://www.kernel.org/pub/linux/kernel/people/jwessel/kgdb/ch03s04.html?
Devi eseguire il kernel in debug con opzioni speciali, come ad esempio:
kgdbwait kgdbcon [email protected]/,@192.168.242.24/00:11:22:33:44:55
e sul lato debug esegui i seguenti comandi:
gdb
file vmlinux
target remote udp:192.168.248.76:6443
ha funzionato per me.
Puoi ottenere il sorgente di kgdboe da qui, compilarlo e caricarlo nel tuo kernel:
make -C /lib/modules/$(uname -r)/build M=$(pwd)
sudo insmod kgdboe.ko
Digita quindi 'dmesg' per visualizzare il registro di caricamento e ottenere istruzioni sulla connessione da gdb.