Closed
Description
The stock setting on the pca10059 dongle, and possibly also on the pca10056 DK configures the pins P0_09 and P0_10 as NFC pins, therefore they can't be used as GPIO pins. Also after a full chip erase, the pins are configured as NFC by default.
Circuitpython allows to define them as GPIOs, without any warning, even if they are reserved for NFC.
As NFC isn't supported by Micropython at this time, and probably for a long time to come, it would make sense to configure those pins as GPIOs by default, and maybe add an option to use them as NFC pins in the mpconfigport.h file later.
To configure them as GPIOs, the NFCPINS register (base address: 0x10001000 offset: 0x20C) has to be set to 0.