Work on bug #8436.  I added a driver for the DAC, and got the ADC working.