Hi, I am using an E0 of the Electron family.
I need to use WKP to wake up the device. From the datasheet of E0, WKP is defined as pin 19. However, the source code of deviceOS/1.4.4/firmware-1.4.4/hal/src/electron/pinmap_defines.h shows WKP as 17.
#define WKP 17
I am confused. Which pin number should I use?