Small update: I think solved the pin naming issue.
Created alternate pin names like it's done with the NodeMCU pins. For example you P1.09 can be accessed as P1.p09. I think better than doing all the math to add 9 and 32 :)
Or does anyone have a better idea for pin naming? P1.09 sort-of worked, but the autocomplete reported all kinds of weird ascii characters as properties. Espruino doesn't like properties starting with numbers, so decided to go with p as 'pin' prefix...
@tcpipchip did you solve your pin naming problem?
Can you map all pins ?
For example, you forgot
© Espruino, powered by microcosm.
Report a problem