# Raspberry Pi 4: installer Debian ou Raspbian?

**URL:** <https://www.debian-fr.org/t/raspberry-pi-4-installer-debian-ou-raspbian/80379>\
**Category:** Support Debian\
**Tags:** raspberry\
**Created:** [Octobre 13, 2019, 7:48 UTC](https://www.debian-fr.org/t/raspberry-pi-4-installer-debian-ou-raspbian/80379 "2019-10-13T07:48:29Z")\
**Posts on this page:** 2\
**Page:** 1

<div class="post-metadata">

**Author:** ![ted](https://www.debian-fr.org/letter_avatar_proxy/v4/letter/t/db5fbb/32.png) [@ted](https://www.debian-fr.org/u/ted)\
**Post date:** [Octobre 13, 2019, 7:48 UTC](https://www.debian-fr.org/t/raspberry-pi-4-installer-debian-ou-raspbian/80379/1 "2019-10-13T07:48:29Z")

</div>

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/RaspberryPi)  
[https://wiki.debian.org/RaspberryPiImages](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!

---

<div class="post-metadata">

**Author:** ![ted](https://www.debian-fr.org/letter_avatar_proxy/v4/letter/t/db5fbb/32.png) [@ted](https://www.debian-fr.org/u/ted)\
**Post date:** [Octobre 22, 2019, 7:48 UTC](https://www.debian-fr.org/t/raspberry-pi-4-installer-debian-ou-raspbian/80379/2 "2019-10-22T19:48:39Z")

</div>

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