Hello, I'm an experienced Linux kernel developer worked with many SBC's including BeagleBone Black, Raspberry pi. This task is easy and should not require more that 2 days for poritng
Relevant Skills and Experience
Device driver development, Linux Kernel, LinuxPPS
Proposed Milestones
$30 USD - For the full project on github
Additional Services Offered
$1 USD - We can discuss about the further improvement of this project if you want
You should be able to test the driver. I can provide the detailed instructions on how to test.