This is part of Teensyduino, no? If so, it doesn't appear that i have an update candidate within the Board Manager. :(
I noticed that a lot of things appear out of date with my Teensyduino installation, which is currently using version 1.59.0. The CMSIS DSP library included is a relatively...