I tried to cross-compile this kernel module on Linux. But the link to the private navio raspberry kernel source seems to be broken. Is it open sourced?
I also tried to install the modules on a stock raspbian. Other than the PWM, other drivers seem to work fine. Using dmesg it shows
rcio spi1.0: rcio_gpio: GPIO is not supported on this firmware
rcio spi1.0: rcio_pwm: Error in pwm running count
I'm using Navio 2 with RPi 3B. The linux version is 4.4.50-rt63-v7+ #8 SMP PREEMPT RT.
Any help on how I can make this work? Great thanks.