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

interface ft2232
ft2232_layout luminary_icdi
ft2232_device_desc "USB <-> JTAG/SWD"
ft2232_vid_pid 0x0451 0xc32a
adapter_khz 1000