I am interested in getting Ethernet working on Teensy boards and I may have some time to work on that when I finish up my current projects. One slight issue is that uploading new firmware to Teensy boards requires USB right now so Ethernet cannot be the one and only communication channel to the board.

Are you committed to Ethercat? Is that proprietary? More deterministic communication would be great, but something open source would be even better.

I have been super curious about trying TSN ever since @vmayoral and his group used it on their H-ROS hardware. I do not know if that is considered open source either, though, and that may require extra hardware or an FPGA. So that might be a better fit for Zync-based boards.