Pinout for the nrf52840 USB dongle
Hello,
I'm trying to understand how the pins of the nrf52840 are mapped/numbered in the board definition.
Looking at the pins.csv file, I see pins going as high as P47:
https://github.com/micropython/micropython/blob/0fd0eb00aa5b9d311046d48d73a8cfabb30d7dd6/ports/nrf/boards/pca10059/pins.csv#L28
But there isn't such a pin on the board. Here is the pinout of the board (from the doc):

I wasn't able to find out what numbering scheme was used to number the pins. It makes it hard to know to which physical pin a pin Pin object is tied (in Micropython).
Could someone help me on this please? Maybe I'm missing something. @glennrub maybe (I think you built the file)?
[nrf] Add board support for nRF52840 dongle (pca10059)
Please add support for the nRF52840 dongle pca10059.
Documentation here: https://www.nordicsemi.com/eng/Products/nRF52840-Dongle
I'm willing to do it, but I'm new to Micropython, so I don't have all the information I need.
Is there already an implementation that has Repl over native USB?
That would be the biggest change.
Changing the pin assignments from pca10056 shouldn't be too complicated.