Is it possible to update the CMSIS DSP library that is used for the Teensy 4.0? The version that I have is framework-arduinoteensy @ 1.157.220801 (1.57). In the C:\Users\username.platformio\packages\framework-arduinoteensy\cores\teensy4 directory, I find the arm_math.h file, which has version number at the top of the file that says it’s v1.5.1 from 2017. The CMSIS library from ARM is up to v1.10.0 currently, so this is fairly old. There’s a function that I’d like to use from one of the more recent versions.
Can this be updated? If so, how? I don’t see where the CMSIS source files are even located.