If it helps, I have compiled the latest micropython branch to work with the teensy.
I'm not sure if main.c is working, (I wasn't too bothered with that). My main aim was to create a static library for use in C++ projects.
The micropython_vs repository is a Visual Studio makefile project that...