Hi,

my current system is (via this official download)
* raspberry pi 4
* rpi os with debian trixie
* 32 bit userland
* 64 bit kernel -> want to change to 32-bit kernel

If I remember correctly old buster release of 32-bit, had both 32-bit userland and 32-bit kernel.

My question is: how do I get an official 32-bit kernel for my pi 4?

Just adding fails to boot.

Last edited by freool on Tue Nov 11, 2025 7:30 am, edited 1 time in total.

Some background on my current setup:

* raspberry pi 4
* 32 bit userland
* 64 bit kernel

I have the following packages installed: These deliver the following files

[edit]
I just checked. It's the v7l kernel that has been removed, so it looks like you can't run a 32-bit kernel on the Pi 4B now.
[/edit]
If I recall correctly, the Pi 4B needs the v7l 32-bit kernel. The v7 (no "l" (Merry Christmas! :lol: )) doesn't support the large memory map.

The v6 32-bit kernel is for PI 1 and Zero.
The v7 32-bit kernel works on Pi 2 and 3 (maybe Pi4 1GB?).
The v7l 32-bit kernel works on Pi 2, 3, 4 and Zero 2W.

The v8 64-bit kernel works on any Pi capable of 64-bit.
The 2712 64-bit kernel is for Pi 5 only.

(削除) I believe the v7 kernel is going to be discontinued. The only Pis that used it were the early 2Bs which were 32-bit only, and they can use the v6 kernel with a possible slight performance hit. (削除ここまで) Ignore this line!

Last edited by rpdom on Tue Nov 11, 2025 12:34 pm, edited 1 time in total.

Unreadable squiggle

freool wrote: ↑

Tue Nov 11, 2025 7:28 am

My question is: how do I get an official 32-bit kernel for my pi 4?

I don't believe you can.

I was cautious of using the Buster and Bookworm 64-bit kernel alongside 32-bit userland, but I haven't experienced any problems since doing that a long time ago on a Pi 3B (non-plus) and Pi 4B.