Where can I get my linux headers? Armbian Ubuntu Bionic on Banana Pi M1. Kernel 4.19.62-sunxi

[timonoj]

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!

[Werner]

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.

[timonoj]

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.

[Werner]

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

[timonoj]

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

[Werner]

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