I'm using a custom board based on T2081 processor.
I need to create a driver that controls 4 GPIO lines as inputs and 4 as output.
The problem I'm facing is that, despite I can control GPIO lines on command line with echo command, I can't find the library necessary to make use of C callable instructions to configure and use them.
I'm looking within toolchain include folders and found some files to include (consumer/driver/machine .h in /include/linux/gpio directory), but I'm facing a lot of problems to compile the project.
Is there any other source file I need to use? Are these files correct?