Hi,
You can read AUX1 and AUX2 using sysfs in the latest Debian.
cat /sys/devices/platform/jz4780-adc/jz4740-hwmon.0/in0_input
cat /sys/devices/platform/jz4780-adc/jz4740-hwmon.0/in1_input
I'd recommend checking the ADC section of the programmers manual.
http://mipscreator.imgtec.com/CI20/hardware/soc/JZ4780_PM.pdfI doubt it'll be able to sense above the 3.3v rail so you might have to translate that range to something
within the range.
Regards
ZubairLK