I developed a proof of concept using a Rasperry Pi 3B+ for an industrial product to synchronize devices using TTL signals.
The project works well and now I'm seeking a Raspberry Pi industrial version to integrate in the final product.
I'm very interested in Revolution Pi but I have technical doubts about the use with our system.
The project development consists basically in a custom kernel module that use ksocket kernel library to send and receive information from ethernet port. Also use the gpio standard library from the kernel to attach an interruption to 1 input gpio and set ouput values to other 4 gpios. There are other code that use standar kernel librarys, is very important for the project use a kernel module to avoid any possible lag, this is a critical point.
The OS running in the raspberry is Raspbian Stretch.
Would be possible to run my own kernel module using some model of revolution pi?
Thanks in advance,