Skip to content
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

Jump to bottom

Adding NOTE about building 32-bit kernel #3027

Merged
merged 2 commits into from
Jul 27, 2023
Merged

Adding NOTE about building 32-bit kernel #3027

Changes from all commits
Commits
Show all changes
2 commits
Select commit Hold shift + click to select a range
888e191
Adding NOTE about building 32-bit kernel
Jul 27, 2023
30408d5
Update building.adoc
Jul 27, 2023
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
2 changes: 2 additions & 0 deletions documentation/asciidoc/computers/linux_kernel/building.adoc
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -12,6 +12,8 @@ The instructions below are divided into native builds and cross-compilation; cho

=== Building the Kernel Locally

IMPORTANT: Building the 64-bit kernel on the 32-bit distribution of Raspberry Pi OS is a cross-compilation exercise because it requires the installation of the cross-compiler (`gcc-aarch64-linux-gnu`). Building the 32-bit kernel on the 32-bit distribution of Raspberry Pi OS — which has a 32-bit userland, and 64-bit kernel — you should set `ARCH=arm`, although it's likely that this may already be set as `arm_64bit=0` will have been set. Instructions for <<cross-compiling-the-kernel,cross-compiling the kernel>> can be found later on this page.
Copy link
Contributor

@lurch lurch Jul 27, 2023 •
edited
Loading

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

"the 32-bit distribution of Raspberry Pi OS — which has a 32-bit userland, and 64-bit kernel" - that's only the case on Pi 4B, Pi 400, CM4 and CM4S ? https://www.raspberrypi.com/documentation/computers/config_txt.html#arm_64bit

Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Yes, unless the user has explicitly set arm_64bit=1 on BCM2710-based device.

Copy link
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

@lurch Can you nip in and fix that up?


On a Raspberry Pi, first install the latest version of https://www.raspberrypi.com/software/operating-systems/#raspberry-pi-os-32-bit[Raspberry Pi OS]. Then boot your Raspberry Pi, log in, and ensure you're connected to the internet to give you access to the sources.

First install Git and the build dependencies:
Expand Down
Loading