Raspberry Pi OS 64-Bit Officially Released - Howchoo
Raspberry pi 3 32 ou 64 bits ? - Raspberry Pi France
Pourquoi user d'un OS 64 bits sur son Raspberry Pi 4 ? Parce que la performance est meilleure qu'en 32 bits, d'après un employé de Red Hat qui a publié des résultats
Raspberry Pi - Compiling a Module for the 64-bit Kernel | Zak's Electronics Blog