## SECTION=debug_tools

menu "gdb                           "

# must be before GDB - used by gdb & gdbserver

config GDB_VERSION
       string "gdb version"
       default "7.0.1"
       depends on GDB || GDBSERVER

source "generated/debug_tools_gdb.in"

endmenu