Is there a library that claims to work with that display on regular Arduino? I didn't see anything on the DX page.

If a library exists and works on Arduino but doesn't work on Teensy, I can take...