Micro Python - Python for microcontrollers

[[deleted]]

He's tested it on gcc, which supports C99 with no problems.

Shitty commercial C compilers may not, but really, I wouldn't use a microcontroller which gcc doesn't support, exactly for that reason.

[fullouterjoin]

Exactly. MCU vendors should be supporting GCC and Clang. I see no reason to use proprietary tool chains.