JTAG with BPI-F3

Hello, I’m considering buying a BPI-F3 for OS development purposes (so I will be running my own kernel). Therefore, I would need to somehow debug my code. The product page mentions that JTAG support is present, but I couldn’t find any resources on how to establish a connection (what pins do I need to connect my probe to? What OpenOCD config do I need? Do I need some specific JTAG probe or something for that to work?). Any information would be appreciated.

image I found a JTAG switch in the schematic diagram, which may control the JTAG function. You can go to the website to see the schematic.