So...I'm trying to find the linux headers for my Banana Pi M1, so I can install Wireguard on it. But seems there's no sanxi headers? Also...no headers for that kernel whatsoever.  The generic ones stop at 4.18 then jump to 5.0. Then there's a bunch of raspi and raspi2 headers, and then the misterious to me linux-headers-edge-sunxi 21.05.6, which I guess won't work on mine. Where should I get headers for my Banana Pi?

 

Also just in case, I'm a bit worried about doing something too drastic, since this little thingy is located in another continent. Thanks!

In the past we had some issues with generating header packages for kernels which have been fixed in the mean time. If you cannot find the matching headers with apt-cache search then they are probably not there and cannot be provided.

Ok. I am now considering to move to a more recent kernel. Searching linux-image I can see there's a linux-image-current-sunxi which should kick it to 5.12.12-sunxi edge, for which I believe there are headers. Is this kernel going to work with my banana pi M1? Anything I should be aware of? As mentioned, my main fear is the Banana not coming back online, for which I have very little way to fix it anytime soon, given the pandemic.

You can use the armbian-config tool to switch to a kernel which will work for your device.

Great! So anything on armbian-config has been pre-filtered to work on my Banana Pi M1 already?

Yes. For higher chance of success I'd recommend going for the "current" branch instead of cutting "edge".