IR Modulation Using PWM on GPIO

Hi all,

I’d like to drive an IR LED at 30 kHz using the GPIO on the DWM1001. Currently, I’m using the dev board, but if everything seems to work then I would be creating my own. I’ve looked up the nRF52 and I know that it is capable of PWM, and i’ve seen examples, but the examples are extremely long and confusion. Is there a simple example of someone doing this or something similar? Any help would greatly be appreciated.