i have rpi 3 with kernel 4.9.54-v7+ i want to start device driver development in that so that i need kernel headers in rpi, i tried lots of internet sours to download kernel headers but i am not able to install…could you please help me out…like how to install and how to build makefile.
This sounds a lot like you are wanting help with the more generic parts of the Linux OS on the RPi platform, and not with resin.io or ResinOS. This sort of support is beyond the scope of Resin’s free support offering, although members of the community may help you out. You might also have more success by tapping into a community with a different focus, perhaps the raspbian forums https://www.raspberrypi.org/forums/viewforum.php?f=66