Raspberry Pi OS • Re: 32 bit kernel under rpi os debian trixie on pi 4

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.

Statistics: Posted by hippy — Tue Nov 11, 2025 11:54 am

---