Anyone done (or know of) any C/C++ work that can target GCC/Teensy, and using an available ISO7816 stack and the PHY on either the reader or card side (preferably the latter) ?