sdk-debugger-openocd-raspberry-pico/share/openocd/scripts/interface/ulink.cfg

#
# Keil ULINK running OpenULINK firmware.
#
# http://www.keil.com/ulink1/
# http://article.gmane.org/gmane.comp.debugging.openocd.devel/17362
#

adapter driver ulink