I'd love to see a driver for the ADC128S102 8ch 1MSPS ADC. It's used in the [PicoADK](https://github.com/DatanoiseTV/PicoADK-Hardware/).