riscv-openocd/tcl/target/k40.cfg

# SPDX-License-Identifier: GPL-2.0-or-later

#
# Freescale Kinetis K40 devices
#

set CHIPNAME k40
source [find target/kx.cfg]