Teensy 4.0 compatibility? (no Teensy 3.2 availability)

[cbradburne]

Hi,

As Teensy 3.2 boards have not been available for some time (UK), I was wondering what’s the current state of teensystep for Teensy 4.0?
I don’t need any extra features or speed, just an alternative to 3.2 that I can actually buy.

Thanks,
Colin