You could use system calls in your C program to directly run Linux commands. Take a look at system(3): execute shell command - Linux man page for a guide to the system command.
Alternatively, you can use mraa mraa: Main Page . With mraa you don’t need to set any muxing, mraa manages the mux configuration.
wouldn't be faster or more in Real Time if I configure the ADC myself and as well configuring SPI -rather than using MRAA librabry- to have higher numbers of readings ?
I am basically using The Intel Edison board to achieve analog input reading at least 10000 readings per second , do you think that is possible ?