I also need to build some device drivers and require the linux-headers package for the kernel on my NanoPi boards. I need the package for the 4.14.111 version of Linux. The repos provide packages for many kernels except for the one I need. Friendly's build process is broken as they provide disk imag...