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.
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
Code:
arm_64bit=0Statistics: Posted by freool — Tue Nov 11, 2025 7:28 am