SW4STM32 and SW4Linux fully supports the STM32MP1 asymmetric multicore Cortex/A7+M4 MPUs

   With System Workbench for Linux, Embedded Linux on the STM32MP1 family of MPUs from ST was never as simple to build and maintain, even for newcomers in the Linux world. And, if you install System Workbench for Linux in System Workbench for STM32 you can seamlessly develop and debug asymmetric applications running partly on Linux, partly on the Cortex-M4.
You can get more information from the ac6-tools website and download (registration required) various documents highlighting:

System Workbench for STM32

System workbench how to configure openocd debug

We work with DWM3000evb and nRF52840DK board.We followed “Guide_for_example_build” file to run the example codes,and we connect the board with PC using a USB.But we don’t know how to configure the openocd configuration options.We don’t find nrf52.cfg in system workbench project,and don’t know how to select the debug interface.
And when I use “jlink.cfg”,it has the following errors :
Open On-Chip Debugger 0.10.0+dev-00021-g524e8c8 (2019-04-12-08:48)
Licensed under GNU GPL v2
For bug reports, read
OpenOCD: Bug Reporting
Error: The specified debug interface was not found (jlink)
The following debug interfaces are available:
1: ftdi
2: usb_blaster
3: vsllink
4: ulink
5: hla
6: osbdm
7: opendous
8: aice
9: cmsis-dap
10: kitprog

So I should how to build the examples ,and configure the openocd debug configurations .Thanks for helping.