On later operating systems, it is very unlikely that this driver will need to be installed as it generally is included with Windows.
Teensy 4.0 USB Serial Port Driver
File: serial_install.exe
00ef3b11b4f77fe02a2e66dfc7d93e11ac5e24ff03bebdefe0420386d066e6b4