# SPDX-License-Identifier: Apache-2.0

board_set_debugger_ifnset(stlink_gdbserver)
board_finalize_runner_args(stlink_gdbserver)