I was thinking this would either be about running a tiny subset of linux on a Teensy, or running a Teensy binary on ARM linux. https://www.pjrc.com/teensy/ Interesting anyway.