Passer le kernel de son Raspberry Pi tournant sous Raspberry Pi OS en 64 bit

Si vous utilisez un Raspberry Pi 3B/3B+, 4B ou 400, sachez que celui-ci est compatible 64…