Pixhawk 4 debug through JTAG OpenOCD

Hi all,
I’m trying to debug the Pixhawk 4 controller through OpenOCD, none of the documentation links are available: https://pixhawk.org/start?id=dev/gdb_cheatsheet or http://pixhawk.org/start?id=modules/stm32f4discovery.
Could someone please attach a working cfg file to work with OpenOCD(stlink-v2-1 & STM32F7) and eclipse?
Thanks.