scripts/build/debug/gdb.sh
2007-05-17 Make the debug config menu a generated file.
2007-05-17 Debug facilities: