OSQP with a Teensy 4.1?

Hi, I’m new to using OSQP. I have used OSQP on my Linux machine but was wondering if anyone has any experience with using it with an Arduino platform such as a Teensy 4.1. Is it even possible to do this?

Teensy platforms are now computational powerful enough to do many things, I wanted to see if solving QP’s onboard the Teensy is possible. If it’s worth anything, the Teensy has an ARM Cortex-M7. For more details, see here: Teensy® 4.1