# Debug facilities menu

menu "Debug facilities"

source config/debug/gdb.in

endmenu