| # SPDX-License-Identifier: Apache-2.0 |
| |
| set_ifndef(OPENSDA_FW daplink) |
| |
| if(OPENSDA_FW STREQUAL jlink) |
| board_set_debugger_ifnset(jlink) |
| board_set_flasher_ifnset(jlink) |
| elseif(OPENSDA_FW STREQUAL daplink) |
| board_set_debugger_ifnset(pyocd) |
| board_set_flasher_ifnset(pyocd) |
| endif() |
| |
| board_runner_args(jlink "--device=MK64FN1M0xxx12") |
| board_runner_args(pyocd "--target=k64f") |
| |
| include(${ZEPHYR_BASE}/boards/common/pyocd.board.cmake) |
| include(${ZEPHYR_BASE}/boards/common/jlink.board.cmake) |
| include(${ZEPHYR_BASE}/boards/common/openocd.board.cmake) |