Files
micropython/ports/nrf/boards/make-pins.py