Linux Headers

I am trying to develop some LKM and need the kernel headers for DietPi (kernel 4.1.7-v7+) but cannot find them. Please!! where can I download the headers from?

Thank you in advance!

We use the same kernel/headers/modules as the official Raspbian image. So this should work: v4l2 - Getting kernel headers for raspberry pi 2 - Raspberry Pi Stack Exchange