Here is a first beta test for Teensyduino 1.44.
Linux 32 bit:
https://www.pjrc.com/teensy/td_144-beta1/TeensyduinoInstall.linux32
Linux 64 bit:
https://www.pjrc.com/teensy/td_144-beta1/TeensyduinoInstall.linux64
Linux ARM:
https://www.pjrc.com/teensy/td_144-beta1/TeensyduinoInstall.linuxarm
Mac OS-X:
https://www.pjrc.com/teensy/td_144-beta1/TeensyduinoInstall.dmg
Windows:
https://www.pjrc.com/teensy/td_144-beta1/TeensyduinoInstall.exe
Changes since Teensyduino 1.43
Improve Tools > Ports menu refresh speed
Support Tools > Get Board Info
teensy_ports now sends JSON on stdout
Linux 32 bit:
https://www.pjrc.com/teensy/td_144-beta1/TeensyduinoInstall.linux32
Linux 64 bit:
https://www.pjrc.com/teensy/td_144-beta1/TeensyduinoInstall.linux64
Linux ARM:
https://www.pjrc.com/teensy/td_144-beta1/TeensyduinoInstall.linuxarm
Mac OS-X:
https://www.pjrc.com/teensy/td_144-beta1/TeensyduinoInstall.dmg
Windows:
https://www.pjrc.com/teensy/td_144-beta1/TeensyduinoInstall.exe
Changes since Teensyduino 1.43
Improve Tools > Ports menu refresh speed
Support Tools > Get Board Info
teensy_ports now sends JSON on stdout