add debugging code
[cor.git] / scripts / gdb / 
tree0940bde9d606a6b14ec23bf7c0d820c7c3588fad
drwxr-xr-x   ..
-rw-r--r-- 58 Makefile
drwxr-xr-x - linux
-rw-r--r-- 864 vmlinux-gdb.py