I am using this repository to write the kernel module on my windows machine and then copy it over to my RPi to test building.