Pouvez-vous installer Ubuntu sur le Raspberry Pi 4

Je me demandais si vous pouviez installer Ubuntu sur le RPi 4 car sur le guide officiel d'Ubuntu, il était dit qu'il n'était disponible que pour les 2 et 3. Est-ce que l'édition pour le Raspberry Pi 3 fonctionnerait sur le RPi 4?

Il y a un guide non officiel sur https://jamesachambers.com/raspberry-pi-ubuntu-server-18-04-2-installation-guide/ si vous ne voulez pas attendre la sortie officielle.

Le Raspberry Pi 4 n'est pas encore officiellement pris en charge sur les images actuelles du serveur Ubuntu Raspberry Pi, mais vous pouvez le faire fonctionner en mettant à jour manuellement le firmware. Le stockage à l'état solide fonctionne également, mais avec le inconvénient de devoir utiliser une carte micro SD comme chargeur de démarrage, car le Pi 4 n'a pas encore de support de démarrage officiel. Je décris comment faire les deux dans cet article.

Les périphériques du Raspberry Pi tels que WiFi / Bluetooth sont désormais entièrement pris en charge. Les versions précédentes d'Ubuntu Server pour Raspberry Pi (comme beaucoup d'autres distributions) avaient des pilotes cassés ou complètement manquants pour les composants de base tels que WiFi / Bluetooth. Dans la mise à jour 18.04.2, le micrologiciel pour le WiFi et d'autres composants est désormais inclus, ce qui en fait une distribution entièrement fonctionnelle.

C'est la première distribution en plus de Raspbian qui donne l'impression que vous pouvez simplement l'imaginer et que tout fonctionne. Je vais vous guider à travers le processus dans ce guide. La configuration ne prend que quelques minutes.

Vitesse recommandée

Je recommande fortement la mise à niveau vers une configuration SSD. Les gains de performances sont gigantesques. C'est maintenant moins de 30 $ pour prendre votre état solide Pi. Il s'agit de la meilleure mise à niveau des performances que vous puissiez obtenir pour un Pi.

Avec le nouveau Raspberry Pi 4, il est encore plus avantageux d'utiliser le stockage USB, car un bus USB 3.0 a finalement été ajouté au Pi 4, ce qui lui permet de tirer pleinement parti des disques SSD. Voici la configuration que j'utilise actuellement:

  Raspberry Pi 4 Model B 2 Go
  StarTech 2.5 ″ SATA to USB 3.0 Adapter -AND- Kingston A400 SSD 120GB SATA 3 2.5 "SSD
  Ou pour une configuration compacte: SanDisk Extreme Pro 128 Go USB Solid State Flash Drive
  Pour une configuration de carte micro SD: Carte Micro SD de classe d'application SanDisk Extreme 64 Go A2

Obtenir Ubuntu Server

Rendez-vous sur la page officielle d'Ubuntu Raspberry Pi sur https://wiki.ubuntu.com/ARM/RaspberryPi et faites défiler jusqu'à la section "Images officielles".

32 bits (armhf) contre 64 bits (aarch64)

Obtenir la version 32 bits du démarrage d'Ubuntu Server est plus facile et plus rapide que la version 64 bits en ce moment. Si vous choisissez d'installer 64 bits, portez une attention particulière aux étapes spécifiques 64 bits dans les instructions, car si vous en manquez, votre Pi ne démarrera pas!

À l'heure actuelle, il y a une limitation de mémoire de 1 Go en mode 64 bits sur le Raspberry Pi 4. Je recommande d'utiliser la version 32 bits d'Ubuntu ou d'attendre que le support du Raspberry Pi 4 rattrape. Si vous voulez maintenant exécuter le 64 bits, cela fonctionne très bien à part la limitation de mémoire.

Vous devez choisir la version armhf 32 bits pour l'instant, sauf si vous avez un besoin spécifique pour une distribution 64 bits. La version 32 bits est plus rapide et plus stable pour la grande majorité des cas d'utilisation. La version 64 bits a parcouru un long chemin et est totalement utilisable à ce stade, mais il y a encore des inconvénients importants.

Le Raspberry Pi 4 nous a amenés jusqu'à la barrière de 4 Go, mais pour s'étendre au-delà, Raspbian devra finalement passer à 64 bits car l'une des limitations d'un système d'exploitation 32 bits est qu'il ne peut traiter que 4 Go de RAM. . Pour briser la barrière d'adressage de la mémoire de 4 Go, le système d'exploitation devra passer à 64 bits (aarch64 / arm64).

Pour le moment, la prise en charge 64 bits fonctionne sur le Pi, mais en raison du fait que Raspbian et le firmware du Pi n'ont pas de version officielle 64 bits, il peut être excentrique et plus difficile à configurer.

Écriture de l'image de base

Cette partie est simple. Extraire l'image du format xz au format img (7zip est génial et gratuit et peut les extraire). Maintenant, écrivez l'image sur votre support (carte Micro SD, disque SSD, stockage USB, etc.). de la même manière que pour toute autre distribution.

Mise à jour du micrologiciel pour Raspberry Pi 4

Supprimer le micrologiciel existant

Le firmware de la version actuelle n'a pas été construit avec la prise en charge du Raspberry Pi 4, nous devons donc mettre à jour le firmware sur la partition / boot / pour que le Pi 4 puisse démarrer correctement.

Insérez / montez la carte micro SD dans votre ordinateur et accédez à la partition "boot". Supprimez tout dans le dossier existant afin qu'il soit complètement vide.

Télécharger le dernier firmware

Instructions du micrologiciel 32 bits

Si vous essayez d'exécuter la version 64 bits d'Ubuntu, passez à la section d'instructions 64 bits suivante. Pour les versions 32 bits d'Ubuntu, téléchargez le micrologiciel à partir du référentiel officiel GitHib ici: https://github.com/raspberrypi/firmware/archive/master.zip

Le dernier firmware est tout dans le dossier "boot" de master.zip (y compris les sous-dossiers). Nous voulons tout extraire du "boot" (y compris les sous-dossiers) à la partition "boot" de notre micro SD que nous venons de vider à l'étape précédente. N'oubliez pas d'obtenir le dossier "superpositions" car il contient les superpositions nécessaires pour démarrer correctement.

Le résultat final ressemblera à ceci sur le lecteur "boot":

$ ls
  COPYING.linux                bcm2711-rpi-4-b.dtb   kernel.img
  LICENCE.broadcom             bootcode.bin          kernel7.img
 'System Volume Information'   cmdline.txt           kernel7l.img
  bcm2708-rpi-b-plus.dtb       config.txt            overlays
  bcm2708-rpi-b.dtb            fixup.dat             start.elf
  bcm2708-rpi-cm.dtb           fixup4.dat            start4.elf
  bcm2708-rpi-zero-w.dtb       fixup4cd.dat          start4cd.elf
  bcm2708-rpi-zero.dtb         fixup4db.dat          start4db.elf
  bcm2709-rpi-2-b.dtb          fixup4x.dat           start4x.elf
  bcm2710-rpi-3-b-plus.dtb     fixup_cd.dat          start_cd.elf
  bcm2710-rpi-3-b.dtb          fixup_db.dat          start_db.elf
  bcm2710-rpi-cm3.dtb          fixup_x.dat           start_x.elf

Instructions du micrologiciel 64 bits

Pour démarrer Ubuntu Server en mode 64 bits, nous devons télécharger la version 64 bits du firmware. Les fichiers .dtb sont différents entre les systèmes d'exploitation 32 bits et 64 bits. Raspbian n'est pas livré avec un chargeur de démarrage 64 bits et celui-ci n'est pas non plus fourni dans le dépôt officiel de GitHub.

La construction de la version 64 bits du firmware vous-même nécessite une chaîne d'outils de compilation croisée et beaucoup de temps, mais c'est une option. Heureusement, sakiki a fourni un blob du firmware de la version 64 bits destiné à être utilisé pour démarrer les appareils Raspberry Pi 4 64 bits pendant que le support continue de rattraper son retard.

Téléchargez le blob de firmware: https://github.com/sakaki-/gentoo-on-rpi3-64bit/releases/download/v1.4.2/deploy_root_p4.tar.xz

Extrayez les fichiers de deploy-root / bootfs dans l'archive vers la partition "boot" sur la carte SD que nous avons nettoyée à l'étape précédente. Cela nous donnera notre chargeur de démarrage 64 bits.

Créer / mettre à jour config.txt et cmdline.txt

Accédez à la micro SD / boot / partition. Créez un fichier cmdline.txt vierge avec la ligne suivante:

dwc_otg.fiq_fix_enable=2 console=ttyAMA0,115200 kgdboc=ttyAMA0,115200 console=tty1 root=/dev/mmcblk0p2 rootfstype=ext4 rootwait rootflags=noload net.ifnames=0

Ensuite, nous allons créer config.txt avec le contenu suivant:

# Enable audio (loads snd_bcm2835)
dtparam=audio=on

[pi4]

[all]

Configuration config.txt 64 bits

Pour démarrer le Pi en mode 64 bits, nous devons ajouter les lignes suivantes au config.txt:

total_mem=1024
arm_64bit=1
enable_gic=1
armstub=armstub8-gic.bin 

La configuration finale pour 64 bits ressemblera à ceci:

# Enable audio (loads snd_bcm2835)
dtparam=audio=on

[pi4]

total_mem=1024
arm_64bit=1
enable_gic=1
armstub=armstub8-gic.bin

[all]

Ceux-ci activent toutes les différentes options liées à 64 bits dont vous avez besoin pour effectuer un démarrage 64 bits sur le Pi.

Remarque sur total_mem = 1024: pour le moment, la carte SD du Raspberry Pi 4 ne fonctionnera pas en mode 64 bits sans plafonner la mémoire totale à 1 Go. Ceci est en cours d'élaboration et sera résolu dès que le support officiel sera déployé.

Démarrer le serveur Ubuntu

Nous sommes maintenant prêts à démarrer l'appareil. Insérez la carte micro SD et allumez l'appareil.

Remarque: Le tout premier démarrage peut être très lent. Sois patient. Cela peut prendre jusqu'à 2-3 minutes sans voyants d'activité, puis tout à coup tout commencera à clignoter et SSH s'ouvrira.

Correction de la mise à jour apt-get

Si vous essayez apt-get updatemaintenant, il essaiera de mettre à jour votre firmware avec un firmware plus ancien à partir du référentiel Ubuntu. La solution de contournement pour l'instant consiste à supprimer ce package afin qu'il conserve votre firmware existant. Notez que vous avez effectué cette étape car plus tard, nous voudrons réactiver les mises à jour à partir du référentiel une fois le support ajouté.

sudo apt remove flash-kernel initramfs-tools

Vous pouvez maintenant exécuter sudo apt-get update && sudo apt-get upgrademais ne l'utilisez pas dist-upgradeencore car les noyaux dans le référentiel vous mettront à jour pour ne pas encore prendre en charge le Pi 4. Mais cela devrait vous mettre à jour sur les packages.

Configuration du disque SSD (SSD) (en option)

Le démarrage USB n'a pas encore été ajouté au firmware du Raspberry Pi 4, mais il est en cours de traitement. En attendant, vous pouvez utiliser votre carte micro SD comme chargeur de démarrage et démarrer tout le système d'exploitation (rootfs) à partir du disque SSD, ce qui vous permet d'augmenter la vitesse USB 3.0 à l'échelle du système. Une fois que le démarrage Pi USB est officiellement publié, vous devriez pouvoir démarrer directement à partir de l'appareil sans aucune carte SD de chargeur de démarrage de fortune nécessaire.

Créez d'abord une carte micro SD entièrement imagée et de démarrage en suivant les étapes précédentes du didacticiel. Après avoir créé l'installation micro SD, vous devez maintenant créer une image de votre disque SSD / USB avec la même image Ubuntu que vous avez utilisée pour créer la carte SD.

Naviguez maintenant vers la partition "boot" sur le disque SSD / USB nouvellement créé et supprimez tout ce qu'il contient comme nous l'avons fait avec la carte SD plus tôt. Copiez maintenant le dossier "boot" de la carte micro SD vers le disque SSD. Cela est nécessaire car même si les fichiers de "démarrage" sont lus sur notre carte micro SD, certains fichiers de firmware dans les étapes de chargement ultérieures sont lus sur le lecteur monté et si les fichiers de firmware nécessaires manquent, le système ne démarre pas.

Maintenant que vous avez créé les partitions du disque SSD / USB et copié la partition "boot" de la carte SD sur votre nouveau disque, nous devons mettre à jour cmdline.txt de votre carte SD pour pointer vers la partition du disque SSD / USB.

dwc_otg.fiq_fix_enable=2 console=ttyAMA0,115200 kgdboc=ttyAMA0,115200 console=tty1 root=/dev/mmcblk0p2 rootfstype=ext4 rootwait rootflags=noload net.ifnames=0

La partie clé que nous devons changer ici est la section "root = / dev / mmcblk0p2". mmcblk0p2 est un identifiant matériel pour le stockage micro SD. Nous devons modifier cela sur l'appareil sur lequel votre stockage est détecté.

Si vous utilisez un adaptateur de disque USB vers SSD, il est très probable que votre disque sera traité comme / dev / sda2. Par conséquent , nous allons changer root=/dev/mmcblk0p2deroot=/dev/sda2

root=/dev/sda2

La ligne finale sera:

dwc_otg.fiq_fix_enable=2 console=ttyAMA0,115200 kgdboc=ttyAMA0,115200 console=tty1 root=/dev/sda2 rootfstype=ext4 rootwait rootflags=noload net.ifnames=0

Branchez à la fois la carte micro SD et le disque SSD dans le Pi et démarrez-le.

N'oubliez pas: le premier démarrage peut prendre 2-3 minutes pour le premier démarrage, alors donnez-lui un peu de temps avant de supposer que cela n'a pas fonctionné.

Configuration

Utilisateur / mot de passe par défaut

Le nom d'utilisateur et le mot de passe pour votre connexion initiale au serveur Ubuntu seront:

user: ubuntu
password: ubuntu

Vous devrez changer votre mot de passe après vous être connecté pour la première fois. Assurez-vous qu'à l'invite, vous entrez le mot de passe "ubuntu" actuel avant de saisir votre nouveau mot de passe, sinon l'appareil vous expulsera complètement et vous devrez vous reconnecter.

Définir le fuseau horaire

Pour configurer le fuseau horaire correct pour Ubuntu Server, utilisez la commande suivante:

sudo dpkg-reconfigure tzdata

Cela vous amènera à un menu très facile à suivre pour sélectionner votre fuseau horaire correct et l'appliquer au système.

Système de mise à jour

Pour une stabilité, une sécurité et des performances optimales, vous devez immédiatement mettre à jour votre système et vos packages vers la dernière version. Cela permettra également de récupérer toutes les dernières corrections / améliorations améliorant considérablement votre expérience Raspberry Pi Ubuntu.

Cette partie est simple. Type:

sudo apt-get update && sudo apt-get upgrade

Modifier la répartition de la mémoire GPU par défaut

La quantité de mémoire par défaut allouée au GPU sur le Raspberry Pi est d'environ 76 Mo sur nos 1 Go. Dans les modèles 2 Go et 4 Go, la quantité gagnée est négligeable, mais vaut toujours la peine pour le modèle 1 Go.

Si vous tapez la commande, freevous verrez que votre Raspberry Pi manque de mémoire dans la colonne "total". Nous pouvons récupérer la majeure partie de cette mémoire en définissant la mémoire GPU divisée sur 16 Mo. Si vous prévoyez d'installer une interface graphique à l'avenir, vous ne devez pas effectuer cette modification.

Cette option est définie dans le fichier config.txt. C'est exactement le même fichier que Raspbian utilise, mais il se trouve à la /boot/firmware/config.txtplace de /boot/config.txt. Ouvrez config.txt avec la commande suivante:

sudo nano /boot/firmware/config.txt

Nous ajouterons la ligne suivante au bas de config.txt:

gpu_mem=16

Appuyez sur Ctrl + X et tapez yespour enregistrer le fichier. Redémarrez maintenant le Pi en tapant:

sudo reboot

Une fois le redémarrage terminé, tapez à freenouveau et vous verrez que votre mémoire totale disponible a augmenté et peut maintenant être utilisée par le système et vos applications.

Non vous ne pouvez pas:

RPi4 a un processeur plus récent, qui n'est pas compatible avec les anciens 2/3. Par conséquent, vous devez attendre une version compatible RPi4.

Installer le serveur Ubuntu

Nous vous guiderons à travers les étapes de flashage du serveur Ubuntu sur un Raspberry Pi 2, 3 ou 4. À la fin de ce processus, vous disposerez d'un environnement de développement ou de production à part entière.

Exigences minimales

• Raspberry Pi 2, 3 ou 4
• carte Micro SD
• Image du serveur Ubuntu
• moniteur avec une interface HDMI
• câble HDMI
• Clavier USB

Instructions d'installation

1. Téléchargez l'image du serveur Ubuntu:

   Les images préinstallées Ubuntu 19.10 Raspberry Pi 32 bits et 64 bits (raspi3) prennent désormais en charge les plates-formes Raspberry Pi 2, 4 et 4 prêtes à l'emploi. Les liens ci-dessous seront mis à jour lorsque la version 20.04 sera officiellement publiée.

   • 32 bits pour Raspberry Pi 2, 3 et 4
   • 64 bits pour Raspberry Pi 2, 3 et 4
     
     

   Vous pouvez vérifier l'intégrité des fichiers à l'aide des fichiers SHA256SUM et SHA256SUM.gpg .

2. Flashez la carte microSD

   Copiez l'image Ubuntu sur une carte microSD en suivant les instructions du support d'installation .

3. Installer le serveur Ubuntu

   Fixez le moniteur et le clavier à la carte. Vous pouvez également utiliser un câble série.
   Insérez la carte microSD et branchez l'adaptateur secteur sur la carte.

4. S'identifier

   Lorsque vous êtes invité à vous connecter, utilisez "ubuntu" pour le nom d'utilisateur et le mot de passe. Vous serez invité à modifier ce mot de passe par défaut après votre connexion.

Premiers conseils de démarrage

Vous pouvez installer un environnement de bureau si vous le souhaitez. En voici quelques-uns populaires:

sudo apt install xubuntu-desktop  
sudo apt install lubuntu-desktop  
sudo apt install kubuntu-desktop   
sudo apt install ubuntu-mate-desktop^ # full desktop + applications
sudo apt install mate-desktop-environment-core # very basic set of programs that are necessary to start a MATE desktop environment session

Pour plus de détails sur les packages spécifiques à Raspberry Pi inclus avec cette image et d'autres personnalisations, telles que les pilotes vidéo accélérés et les référentiels de packages facultatifs, vous pouvez vous référer au wiki RaspberryPi .

_{Source: Révisé depuis: Installer Ubuntu Server sur un Raspberry Pi 2, 3 ou 4}

Les gens disent qu'il sera disponible dans un certain temps:

Ubuntu MATE pour Raspberry Pi 4

Le développeur principal d'Ubuntu MATE 18.04.2 pour le Raspberry Pi 3, Martin Wimpress, a tweeté une photo d'un Raspberry Pi 4, disant: "Cela devrait me tenir occupé 4 un certain temps."

Voir cette vidéo https://www.youtube.com/watch?v=HMo9C7LCzE0 Il vous montre comment installer le serveur Ubuntu 19.10 avec un bureau