Stanislav Chizhik

Thanks, @Werner! I believe I can do it once I find clear instructions. There's still a lot I don't understand—where all needed things are. I'd appreciate it if you could just provide a link that could point me in the right direction. Meanwhile, yesterday I somehow managed to install the headers using apt-get install linux-headers-current-rockchip64 . At least, for now, this allowed me to build the packages that needed the headers. It seems like this might be a bit of a dirty trick (no?). So, I'd still like to do it right.

I just installed Armbian_community_26.2.0-trunk.732_Rockpi-4bplus_trixie_current_6.18.22_minimal on a Rockpi-4bplus. How do I install the correct Linux headers? The standard apt install linux-headers-$(uname -r) method doesn't work for armbian. OK, there's a corresponding option in armbian-config, and it seems to run successfully, but for some reason, I only see linux-headers-6.12.74+deb13+1-arm64 and linux-headers-6.12.74+deb13+1-common in /usr/src.