Generate PPS pluse from RB5

Hi, I’ve been trying to time sync other sensors with rb5 clock.

I want to know how can i generate a PPS pulse from a rb5 and output it from one of the gpio ports.

I came across this pointer in the rb5 user manual as well:

when pin 6 of dip switch 0 is set to ON, the ICM-42 sensor will use external clk from from PM8250. Does this mean that this is a PPS pulse? and it will be outputted at GPIO3 as well?