linux-pinenote/scripts/gdb
..
linux
Makefile
vmlinux-gdb.py