Teensy Core Libraries for Arduino - View it on GitHub