debian kernel mit kernel headers erstellen raspberry pi

[andy_help (Gast)]

Hallo,
folgendermaßen erstelle ich mir die Kernel für den raspberry pi:
make  -j 4 ARCH=arm64 CROSS_COMPILE=aarch64-linux-gnu- Image modules 
dtbs

Mit folgendem Befehl, erstelle ich mir die kernel headers:
make  -j 4 ARCH=arm64 CROSS_COMPILE=aarch64-linux-gnu- headers
make ARCH=arm64 CROSS_COMPILE=aarch64-linux-gnu- INSTALL_HDR_PATH=../ 
headers_install

Die Kernel Header werden in ../include gebildet.
Folgende Verzeichnisse befinden sich dann in ../include:
asm  asm-generic  drm  linux  misc  mtd  rdma  scsi  sound  video  xen

Schaue ich mir vom Pi das Verzeihnis der alten Kernel Header an, sieht 
es folgendermaßen aus:
/usr/src/linux-headers-5.4.83-v7+/

arch   certs   Documentation  fs       init  Kconfig  lib  mm    net 
scripts   sound  usr
block  crypto  drivers        include  ipc   kernel   Makefile 
Module.symvers  samples  security  tools  virt

Hm, wie kann ich die frisch erstellen Kernel Header in dem System 
integrieren?

[🐧 DPA 🐧 (Gast)]

andy_help schrieb:
> Hm, wie kann ich die frisch erstellen Kernel Header in dem System
> integrieren?

Du könntest dir direkt debian Pakete erstellen lassen, mit bindeb-pkg:

make -j 4 ARCH=arm64 CROSS_COMPILE=aarch64-linux-gnu- bindeb-pkg

deb-pkg geht auch, braucht aber eventuell etwas länger, weil es 
zusätzlich das source package noch erstellt.