Using the Hardware FPU in Linux Running on NXP i.MX RT SoC

So, the Cortex-M4/M7 has a built-in FPU that handles single-precision IEEE-754 floats in hardware — and if you're doing any floating-point heavy lifting in your user space app, you really want to make