There has been an i.MX RT1170 Evaluation Kit (EVK) available for quite a while now. It is a 1 Ghz processor as compared to the Teensy 4.1 600 Mhz 1062 (actually to be fair, it is a dual processor setup - a 1GHz Arm Cortex-M7 core plus a 400 MHz Arm Cortex-M4 core. Plus it has lots more memory, an Ethernet (10/100/1000M) connector plus an Ethernet (10/100M) connector. The EVK even has an M.2 connector, plus more.
Just wish there was a way to use/reuse Arduino & TeensyDuino libraries ( or at least something Arduino-like).
See that MicroPython had added some support for the 1170, in addition to 1062. But suspect will be a long time before catches up to the many Github-based C/C++ libraries for things like DSHOT600 / DSHOT1200, OneShot, MultiShot, sophisticated PID, etc.
In my opinion, there seems to be a lot of effort to cobble together a bit more memory here and there for the Teensy 4.1, as frankly the 1062 seems resource constrained for complex projects.
Sure, some developers manage to do complex development on the 1062. But I suspect it is by jumping through a lot of hoops & likely more painful than needs to be.
Suspect in the medium to longer term (by watching what major hardware & software embedded vendors (like NXP, STMicroelectronics, Ubuntu, Intel, AMD, etc) seems there is a substantial effort to move embedded to Linux (by augmenting real-time Linux (in a variety of ways) support & employing ‘somewhat integrated’ complexes of mixed ARM A (application) & non-A (e.g. Cortex-M4 & M7, etc cores together.
In hindsight the BeagleboneBlue / libRobotControl embedded effort under Debian seemed quite nice for a while but no longer (in my opinion). Sadly, years have gone by without libRobotControl being updated (as promised) to support the new members of the Beaglebone family - specifically Beaglebone AI & Beaglebone AI-64.
Sorry to get a bit long winded - just seems a variety of opportunities are being missed, IMHO…