# SPDX-License-Identifier: Apache-2.0

board_set_debugger_ifnset(openocd)