I understand that ADC2 functions can not be used when WiFi is enabled. My question is: are the GPIOs associated with the ADC2 functions available ? (as long as they are not configured for ADC2). I've mistakenly used a couple of the GPIOs associated with ADC2 for other functions (like digital in/out)...