[foxboard] G20 ADC input voltage range?

[andreas_k_se]

Just as important as the number of bits on the ADC would be to know the voltage 
input range. I just cannot find it anywhere. 
Anyone who knows it?
/Andy