circuitpython/ports/teensy/manifest.py