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
* raspberry pi 4
* 32 bit userland
* 64 bit kernel
I have the following packages installed:
Code:
linux-image-6.12.47+rpt-rpi-v6linux-image-6.12.47+rpt-rpi-v7linux-image-6.12.47+rpt-rpi-v8:arm64Code:
/boot/vmlinuz-6.12.47+rpt-rpi-v6 (equiv with /boot/firmware/kernel.img)/boot/vmlinuz-6.12.47+rpt-rpi-v7 (equiv with /boot/firmware/kernel7.img)/boot/vmlinuz-6.12.47+rpt-rpi-v8 (equiv with /boot/firmware/kernel8.img)Statistics: Posted by freool — Tue Nov 11, 2025 7:29 am