Skip to content

Add instructions for building and installing kernel header .deb packages #4157

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Open
wants to merge 1 commit into
base: develop
Choose a base branch
from
Open

Add instructions for building and installing kernel header .deb packages #4157

Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
14 changes: 14 additions & 0 deletions documentation/asciidoc/computers/linux_kernel/headers.adoc
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -20,4 +20,18 @@ If you use a 32-bit version of Raspberry Pi OS, run the following command to ins
$ sudo apt install linux-headers-rpi-{v6,v7,v7l}
----

If you choose to build your own kernel, add the `deb-pkg` target to the build command:

[source,console]
----
$ make -j6 Image.gz modules dtbs deb-pkg
----

This will generate three `.deb` files in the parent directory of the kernel source. If the kernel is cross-compiled, copy the `linux-headers-{version}.deb` file to your board, then run the following command to install:

[source,console]
----
$ sudo dpkg -i linux-headers-*.deb
----

NOTE: Installation can take several minutes. There is no progress indicator.