Time pulse pin Reach RTK (original Reach) and hardware resources

Could someone please clarify whether this has been implemented in the mean time or how I can implement that myself? Or has someone e.g. @vclor implemented it and would share the solution?

I would also be interested whether there is a delay introduced by mirroring.