S/PDIF support for Teensy4.0

Is there support library/driver for Teensy4.0 S/PDIF I/F on Arduino?

I found it, great.