Hi,
This question is probably directed to Paul.
I've been working on MicroPython, and, if possible, I'd like to checkin some of the .c and .h files from the hardware/teensy/cores/teensy3 directory in the MicroPython repository.
Right now, the list of files that I need is:
Arduino.h...