debian kernel mit kernel headers erstellen raspberry pi

Gast #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?
Gast #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.

Antwort schreiben

Hinweis: der ursprüngliche Beitrag ist mehr als 6 Monate alt. Bitte hier nur auf die ursprüngliche Frage antworten, für neue Fragen einen neuen Beitrag erstellen.

Formatierung
  • [c]C-Code[/c]
  • [code]Code in anderen Sprachen, ASCII-Zeichnungen[/code]
  • [math]Formel in LaTeX-Syntax[/math]
  • [[Titel]] – Link zu einem Artikel
  • Verweis auf einen anderen Beitrag: Rechtsklick auf dessen Beitrags-ID (#8078628), „Adresse kopieren“, in den Text einfügen

Mehr zur Formatierung

Längeren Sourcecode als Anhang, nicht in den Text. JPG nur für Fotos und Scans; Zeichnungen und Screenshots als PNG oder GIF. Siehe Bildformate.

Schon registriert? Anmelden

Wird nicht angezeigt. Wir schicken dir einen Link; sobald du damit bestätigst, erscheint dein Beitrag.

Mit dem Abschicken legst du einen kostenlosen Account an und erkennst die Nutzungsbedingungen und die Datenschutzerklärung an.