What Programmer do I need to program the Onethinx Core Module?

We advise to use a MiniProg4 or KitProg3 Debug kit to program the PSOC63 that is on the
Onethinx Module.

Hi,

I have a MiniProg4 but unable to connect to the Onethinx dev kit. I can power the board ok but when I try and connect I simply get

Error: Could not start OpenOCD. Target device not detected!

Any ideas welcome, in the mean time I will keep searching on the internet.

Thanks