I’m writing a small C driver to use the raspberry pi zero, the explorer phat and the OS developed in my university. The only thing left is the control of the analog inputs. I saw on the python code it communicates using ioctl. My OS does not have file system so i can not use ioctl. How can i read the analog inputs?