debian kernel mit kernel headers erstellen raspberry pi

andy_help Gast 13.01.2021 11:28 #6547754

Lesenswert?

•

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?

Beitrag melden Bearbeiten Thread verschieben Thread sperren Anmeldepflicht aktivieren Anpinnen Thread löschen Thread mit anderem zusammenführen Markierten Text zitieren Antwort Antwort mit Zitat

🐧 DPA 🐧 Gast 13.01.2021 11:50 #6547782

Lesenswert?

•

▲
▼

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:

1	`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.

Beitrag melden Bearbeiten Löschen Markierten Text zitieren Antwort Antwort mit Zitat

debian kernel mit kernel headers erstellen raspberry pi

Antwort schreiben