gnupro/gdb/config/ns32k
