Hello Pablo,
Thank you very much for your response!
I am aware of the Kinetis Design Studio OpenOCD configuration file ("kinetis.cfg"), but it only works with an OpenOCD version that was patched by Somnium, but not mainstream OpenOCD.
Are you aware of any OpenOCD configuration files for the FRDM-KV31F (MKV31F512xxx12) that work with mainstream OpenOCD?
Kind regards,
Beat