Hello,
there is an external for accessing pcduino adc and gpio:
https://sourceforge.net/p/pdpcduino
no lib required for compiling, it simply uses fopen() and fwrite() recursively on each port.
Feel free to try on a pcduino, and send comment.
Cheers