gdb-6.3/gdb/config/ns32k
