src/gdb/config/ns32k
