1# SPDX-License-Identifier: Apache-2.0 2 3board_set_flasher_ifnset(pyocd) 4board_set_debugger_ifnset(pyocd) 5if(CONFIG_SEMIHOST_CONSOLE) 6 board_runner_args(pyocd "--tool-opt=-S") 7endif() 8board_finalize_runner_args(pyocd "--dt-flash=y") 9