It is not arduino numbering even if it looks so, it is actually native hardware numbering as port1 means pins 32 and up so d0 = p0.0,d31=p0.31,d32=p1.01,....
It is the same also for most other 52832/52840 boards with no Arduino pin header.
Espruino is a JavaScript interpreter for low-power Microcontrollers. This site is both a support community for Espruino and a place to share what you are working on.
It is not arduino numbering even if it looks so, it is actually native hardware numbering as port1 means pins 32 and up so d0 = p0.0,d31=p0.31,d32=p1.01,....
It is the same also for most other 52832/52840 boards with no Arduino pin header.