I am using an embedded Linux single-board computer which has a NXP PCA9535 GPIO expander on the I2C bus. I would like to attach a pulse-per-second (PPS) source to one of the GPI
