Interval Timer on Teensy 4.0 not supported

I was just looking on the PJRC website looking to use the IntervalTimer class on my Teensy 4 boards.

Link here:
https://www.pjrc.com/teensy/td_timing_IntervalTimer.html

The webpage, however, says, quote:

"IntervalTimer is supported only on 32 bit boards: Teensy LC, 3.0, 3.1, 3.2, 3.5 & 3.6."

Does this mean that the Teensy 4.0 is not supported?

Maybe this is just a mistake in the website?

I am not sure if the statement is correct or if the website just needs updating.

Which is it?

Thanks
 
Back
Top