src/gnu/dist/gdb/gdb/config/ns32k
