Impc001 counter/timers

On the IMPC001 module, what I/O pins can be used as counter/timers ?
That is using the internal cpu hardware counter /timers that are connected to external interface.

As in pulse counting, or something else?

yes pulse counting as in pulses from water meter to give consumption per hour.

What’s the max pulse frequency? If it’s pretty low then just put it on one of the IRQ-capable pins and attach a change handler to it.

max pulse frequency is only 10Hz or lower so IRQ lines should be ok.

However, a timer input function with IRQ would be useful in case of DALI protocol where pulse inputs need to measured in time to decode 1 or 0 bits. The baud rate here is low at 1200 baud,