The linux-headers for Debian Desktop do not match the kernel
uname -a
Linux wifi 4.4.154 #13 SMP Mon Nov 5 18:25:35 CST 2018
but, the best I could find was this recommendation below.
Debian repositories - Debian repositories
"By the way, we have updated a new kernel image. Package “linux-headers-4.4.154-10-g209c242-dirty” is recommended.
aarch64 GNU/Linux
Where do I find “linux-headers-4.4.154” – or what is the proper way to install a the headers above?
You can install the linux-4.4-latest package. It will install the latest kernel image and kernel header.
The linux-4.4-latest package has incorrect binaries. To wit,
file linux-headers-4.4.154-83-rockchip-00023-gae7a309/scripts/recordmcount
linux-headers-4.4.154-83-rockchip-00023-gae7a309/scripts/recordmcount: ELF 64-bit LSB executable, x86-64, version 1 (SYSV), dynamically linked, interpreter /lib64/l, for GNU/Linux 2.6.32, BuildID[sha1]=8bf6e966ec087c96bbe4e5e69b93e7eaa7c1485e, not stripped
Yet, the package strangly, and wrongly, describes itself as for “all.”
dpkg -l |grep linux-headers-4.4
ii linux-headers-4.4.154-83-rockchip-00023-gae7a309 4.4.154-83-rockchip all Linux kernel headers for 4.4.154-83-rockchip-00023-gae7a309 on all
How may I obtain arm64 binaries with my linux-headers?