Wishlist for future (to support the view of MartinZ that debugging would be valuable)
I believe that enabling debugger pins and on-chip ethernet support would improve the applicability of Teensy in automation and robotics. Teensy has much what is needed in these applications, like good form factor and design, lot of power, it can be plugged into an application-specific board, can be used in commercial products, etc. Just these two things have kept us putting STM32F429, etc, directly on IO boards, instead of using Teensy as ready processor module and saving a truckload of development and testing work:
Debugger support and enabled on-chip Ethernet.
On-chip Ethernet: Ethernet is de facto cabling in many automation systems. I use LWIP without FreeRTOS, etc on STM32F429, and it works fine (works from both STM32duino and True Studio). So I assume it could be made work also as well in Teensy. It would be a better solution than using Wiz chip. No need to fit RS45 on Teensy, maybe not even PHY chip. I imagine Teensy to be plugged into a bigger board, which contains application-specific IO and could contain RJ45/PHY as well. So Ethernet should be part of pin stips at edges of Teensy board.
Debugger: Enabling hardware debugger is like insurance. Hopefully not really needed, but if needed worth a lot. I would be hesitant to start a serious professional development project without a debugger, risk reduction having working debugger is reason enough for selecting extra cost and less optimal hardware. Small JTAG Cortex-M Debug connector could be directly on Teensy board.
Background: software, automation, and measurement robotics development in private corporations.
-----------------------------------------------
Just related hackaday links.
This is about 3.6 debug pins. To my knowledge, it is still a reality that Kinetix chip needs to be removed from Teensy to use a debugger. I read that this would not be needed if boot loader would be modified.
https://hackaday.com/2017/05/01/adding-a-debugger-to-a-teensy-3-53-6/
If the debugging pins were truly available, I believe that following gdb debug could work for TeensyDuino development with Arduino IDE. I used it on STM32 chips, it is a little cumbersome but works fine.
https://hackaday.com/2017/03/30/the-2-32-bit-arduino-with-debugging/