Hi

I'm trying to do JTAG debugging at kernel level using openocd, however I'm having trouble setting the gpio's in the right alternate functions

could you please provide the code for the module you used to do this

Thanks