gdb/system-gdbinit/ - gdb
elinos.py
wrs-linux.py