Devi ottenere i sorgenti del kernel più recenti (potrebbe essere 4.0-rc4) o eseguire il backport della patch. Fondamentalmente vedi se hai script/gdb/ directory come questa nei sorgenti del kernel. Perché è lì che ottieni questi script.
Quindi segui i passaggi menzionati in https://www.kernel.org/doc/Documentation/dev-tools/gdb-kernel-debugging.rst
Esempi di comandi uname Linux (Ottieni versione del kernel, rilascio, nome host, ecc.)
Come ottenere l'output da gdb.execute in PythonGDB (GDB 7.1)?
Il comando Linux ottiene l'id del processo Tomcat per nome
copy_to_user non definito nel kernel Linux versione 4.12.8
Ottieni la prima riga dell'output di un comando di shell
Comando Modprobe in Linux
Comando Sysctl in Linux
comando sysctl in Linux
3 modi per controllare la versione del kernel Linux nella riga di comando
Ottieni informazioni su un comando con Type Command in Linux
5 metodi per ottenere una guida rapida sui comandi Linux