Raspberry Pi 4: installer Debian ou Raspbian?

Tags: #<Tag:0x00007f63f1a7db48>

Bonjour!
J’ai un Raspberry4 que je n’ai pas encore déployé, je souhaiterais y mettre une Debian minimale. J’ai l’habitude d’utiliser Raspbian (Pi3, zero…) mais je me pose la question d’utiliser une vraie Debian.

Depuis le Pi1, les processeurs ont évolué, cependant Raspbian est toujours compilé en 32bits pour garder une compatibilité avec toute la gamme. Mais je ne sais pas si on a réellement de meilleures perfs avec un système compilé pour le dernier processeur.

Il n’y a apparemment pas encore de solution pour installer une version adaptée au Pi4.
J’ai vu qu’il est possible d’installer Debian sur des Pi 1 à 3, peut-on utiliser la méthode qui marche pour le Pi3 pour installer sur un Pi4? D’après ce que je comprend du second lien ci-dessous, le noyau n’est pas compatible avec le 4 (pas de support de tous les périphériques).

https://wiki.debian.org/RaspberryPi
https://wiki.debian.org/RaspberryPiImages

Je vais probablement repartir sur du Raspbian, mais si jamais quelqu’un a tenté ça, ou a des nouvelles plus fraîches, ça m’intéresse!

Ubuntu a sorti une image 64bits, je vais regarder par là!