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