On a new project with a MK10DX64VLFS, trying to read the ADC returns zero if the ADC is uncalibrated and a small value, 3-6 counts, after calibration. The same happens in internal channels, too, as the temperature sensor. Any ideas what to check? The code used is similar to the example KQRUG.pdf and to code used on a MK10DX256ZVLQ10, that works just fine. Have we missed a major difference between chips?