Système d'exploitation 64 bits sur Raspberry Pi 4

Vous recherchez une version 64 bits de Linux pour le Raspberry Pi 4.

Je suis conscient que le support sous Ubuntu Mate est en cours, apparemment Ubuntu Server fonctionne mais il se limite à utiliser 1 Go de RAM.

Y a-t-il d'autres options qui fonctionnent maintenant?

Depuis septembre 2019, les systèmes d'exploitation 64 bits suivants fonctionnent sur un Raspberry Pi 4:

• Gentoo
• Raspbian avec noyau 64 bits (espace utilisateur 32 bits)
• Manjaro (Arch)

La liste ci-dessus n'est en aucun cas exhaustive car il y a eu de nombreuses expériences 64 bits ponctuelles ("Hey, ça démarre") commençant peu de temps après la sortie de Pi 4.

Après tout, la procédure de modification d'une distribution existante en une compatible Pi 4 64 bits n'a pas changé. Tout comme avec un Pi 3 ou Pi 2 v1.2, la copie sur le noyau et les modules du noyau à partir d'un système fonctionnel entraînera généralement une configuration qui démarre ^* .

En termes de qualité et de support, la situation avec Raspberry Pi 4, Buster, kernel 4.19+ et 64 bits est meilleure qu'elle ne l'était avec Pi 3B + et Stretch. Cette fois, il est en fait possible d'accéder à la caméra SoC en mode Fake KMS. Gentoo a été répertorié en premier pour sa base d'utilisateurs active et il a été le premier à fournir des correctifs pour accéder à 4 Go de mémoire et à l'accélération V3D.

Notez que pour les distributions sans espace utilisateur arm64 (par exemple, Raspbian + noyau 64 bits), des étapes supplémentaires sont nécessaires pour exécuter des programmes 64 bits. Cela peut être fait via une compilation statique, des conteneurs (LXC, systemd-nspawn) ou chroot. La dernière option s'est avérée la plus simple:

sudo apt install -y debootstrap schroot
cat << EOF | sudo tee /etc/schroot/chroot.d/pi64
[pi64]
description=V3D arm64 testing
type=directory
directory=/srv/chroot/pi64
users=pi
root-groups=root
profile=desktop
personality=linux
preserve-environment=true
EOF
sudo debootstrap --arch arm64 buster /srv/chroot/pi64
sudo schroot -c pi64 -- apt install -y mesa-utils sudo
schroot -c pi64

Continuez ensuite à installer d'autres programmes arm64 ou à les exécuter dans le chroot:

(pi64)pi@raspberrypi:~ $ glxgears

^* Un écueil spécifique à Pi 4 est que le faux KMS avec VC6 nécessite une construction très récente de Mesa, donc une solution de contournement initiale est de modifier config.txtpour passer en mode hérité.

BalenaOS vient de publier son support pour RPI4. Je ne l'ai pas encore essayé (je vais le tester dans les prochains jours) mais ça a l'air prometteur.

Vous pouvez consulter leur article de blog concernant la sortie ici .

Et le Get Started ici

Edit: Ubuntu a publié de nouvelles images pour Raspberry Pi qui vous permettent d'utiliser Raspberry Pi 4 4GB avec Ubuntu 19.10.1 64 bits prêt à l'emploi. Voir le blog

Depuis décembre 19, vous pouvez utiliser Ubuntu 19.10 sans limiter votre RAM à 3 Go. En supposant que vous avez téléchargé l' image du serveur Ubuntu 64 bits , vous pouvez suivre ces instructions et ajouter des sources apt proposées par eoan. Ensuite, vous faites votre habitude apt update && apt upgrade, et votre noyau Ubuntu est mis à niveau vers une version qui corrige le bogue USB lors de l'installation d'Ubuntu 64 bits sur le modèle Raspberry Pi 4 4 Go.

Il existe déjà un linux Kali 64 bits complet avec prise en charge de toute la mémoire RAM 4 Go: https://www.offensive-security.com/kali-linux-arm-images/#1493408272250-e17e9049-9ce8 Pour la mémoire, kali est un debian avec le contrôle de sécurité des packages / applications préinstallés, il est basé sur la branche instable de debian, mais à partir des tests que j'ai faits, vous pouvez également le "convertir" en branche de test debian (= la prochaine version de debian). Si vous voulez l'essayer, voici le fichier img rpi 2 3 & 4 de Kali Linux RaspberryPi (2 (v1.2), 3 et 4 64 bits): https://images.offensive-security.com /arm-images/kali-linux-2019.3-rpi3-nexmon-64.img.xz un autre thread lié à l'exécution d'un 64 os sur le RPI 4 est ici, et pourrait intéresser tous ceux qui recherchent un os 64 bits (c'est sur le forum dietpi, car la mémoire dietpi est un très petit os debian / raspbian (disponible pour flasher en img ou installable via un script shell pour réduire et supprimer un grand nombre de packages inutiles, vous permettant d'installer UNIQUEMENT ce dont vous avez vraiment besoin)): https://dietpi.com/phpbb/viewtopic.php?f=9&t=6065&start=30

J'ai utilisé cette image avec succès: https://jamesachambers.com/raspberry-pi-ubuntu-server-18-04-2-installation-guide/ Je n'ai eu qu'à apporter quelques modifications dans /boot/firmware/config.txt. J'ai utilisé un écran tactile de 7 ".

J'offre la procédure suivante sur la façon d'installer Ubuntu 19.10 sur un Pi4

J'ai obtenu la plupart des informations suivantes sur le site YouTube suivant   . Écoutez-le car il est assez précis dans la partie qu'il couvre. La seule pièce manquante était de savoir comment configurer un réseau sur le Pi4 qui n'a pratiquement aucun outil réseau installé. 

Cette procédure sera autonome avec des références externes si nécessaire pour plus de clarté ou de lecture supplémentaire.

La procédure se compose de 7 sections:

1. téléchargez l'image iso Pi 4
2. installez l'image iso sur votre carte SIM (32Gig) avec modifications
3. après un démarrage réussi sur le Pi 4, configurez votre réseau Pi 4 - le Pi 4 n'a pas d'outils de réseau fournis avec l'image, c'est-à-dire pas de "ifconfig", "iwlist", etc. Cela rend la configuration du réseau un peu plus difficile.
4. mise à jour et mise à niveau de votre Pi 4 une fois connecté au réseau / internet
5. installation d'un gestionnaire de bureau
6. installer un second bureau - ubuntu desktop gnome3
7. vous connecter avec le gestionnaire de bureau et configurer votre réseau wifi.

Maintenant, pour les détails sur la façon de procéder:

1. Téléchargez l'image iso Pi 4 sur https://ubuntu.com/download/iot/raspberry-pi Obtenez la version 64 bits.
2. Installez l'image iso sur votre carte SIM. J'utilise l'outil appelé balenaEtcher. Son assez simple à utiliser, mais vous pouvez utiliser ce que vous êtes habitué. Une fois que l'image a été transférée avec succès sur votre carte SIM,  ceux d'entre vous qui ont le 4 Go Pi 4 doivent faire ce qui suit: en  utilisant le gestionnaire de fichiers sur votre ordinateur portable ubuntu, trouvez "system-boot" et cliquez dessus. Cela révèlera tous les fichiers / répertoires de ce système de fichiers. Maintenant, procédez comme suit: éditez le fichier appelé usercfg.txt et ajoutez les deux lignes suivantes:  total_mem = 3072 et dtparam = audio = on.  Ces deux lignes doivent être justifiées à gauche dans ce fichier. N'oubliez pas de sauvegarder ce fichier sur la carte sdc. Sans ces deux lignes, un Pi 4 démarrera pour se connecter et lorsque vous atteindrez le clavier, la connexion défilera sur l'écran et vous avez terminé, peu importe le nombre de fois que vous démarrez / réessayez. La paire identifiant / mot de passe est ubuntu / ubuntu.  Une fois connecté, il vous sera demandé de réinitialiser le mot de passe pour l'utilisateur ubuntu.
3. Mise en réseau - ces étapes sont décrites ci-dessous.
4. Mettre à jour et mettre à niveau votre Pi4 - également abordé ci-dessous.

1. connectez-vous au pi
2. ip addr -> cela montrera vos interfaces réseau. mon wifi était wlan0 votre pourrait être quelque chose comme ws1pS0. Ce n'est pas important. Notez également votre interface Ethernet, probablement eth0.
3. connectez le câble ethernet au Pi 4 - oui c'est ainsi que nous allons nous connecter à internet. essayer de configurer le wifi à ce stade était trop difficile.
4. sudo ip link set dev eth0 down
5. sudo dhclient eth0
6. maintenant cette étape est un test et cela doit fonctionner ou vous devez corriger pourquoi vous n'êtes pas connecté au réseau
   1. sudo apt install net-tools - cela installera le package net-tools. s'il peut le faire, vous êtes correctement connecté à Internet et vous pouvez continuer à l'étape 7. Sinon, vous devez obtenir la connectivité réseau car la plupart des commandes qui suivent nécessitent une connexion au site Ubuntu.
7. mise à jour sudo apt
8. mise à niveau sudo apt
9. sudo apt install ubuntu-mate-desktop - il s'agit d'une installation d'une heure
10.  lorsque le bureau est terminé, choisissez xdm  (lightdm est un autre choix mais je ne l'ai pas essayé).  C'est aussi une longue installation .
11. sudo apt install ubuntu-desktop - ce bureau corrigera les erreurs wifi que j'ai vues mais reste juste un mauvais souvenir pour moi.
12. déconnectez le câble ethernet
13. arrêt sudo -Fr maintenant
14. vous serez maintenant présenté avec un bureau ubuntu gnome 3. login: ubuntu / votre nouveau mot de passe
15. maintenant configurer le wifi.
    1. en haut de l'écran, vous verrez quelques icônes. Il peut y avoir une icône de réseau, cliquez dessus. S'il n'y a pas d'icône de réseau, cliquez dans cette région et il vous montrera une icône de réseau wifi. cliquez dessus et commencez à configurer votre réseau wifi, c'est-à-dire son nom et son mot de passe, dhcp, etc. L'icône du réseau peut maintenant avoir un "?" marquez-le donc redémarrez. Cela devrait résoudre le problème du point d'interrogation et vous aurez maintenant un Pi4 exécutant Ubuntu 19.10.
    2. ouvrez Firefox et si vous pouvez surfer, votre réseau est bon.
    3. cliquez sur gestionnaire de réseau et voyez si vous pouvez lister les réseaux disponibles
    4. laissez l'économiseur d'écran / économiseur d'énergie se déclencher puis réveillez le système. Vérifiez si vous pouvez répertorier les réseaux disponibles dans le gestionnaire de réseau et si vous pouvez surfer avec Firefox.

Remarque: 

1. si vous continuez à avoir un "?" marquez sur l'icône réseau allez dans paramètres -> confidentialité et définissez les paramètres de connectivité sur "off"

Y a-t-il d'autres options qui fonctionnent maintenant?

L'image https://ubuntu.com/download/raspberry-pi fonctionne pour les modèles RPi4 1 Go et 2 Go, mais a besoin d'un correctif pour que le modèle 4 Go fonctionne avec une allocation de limite de mémoire de seulement 3 Go.

MISE À JOUR:

Qu'est-ce que ce Multiarch?

Debian a déclaré: Multiarch vous permet d'installer des paquets de bibliothèques à partir de plusieurs architectures sur la même machine. Ceci est utile de diverses manières, mais le plus courant consiste à installer des logiciels 64 et 32 ​​bits sur la même machine et à résoudre automatiquement les dépendances. En général, vous pouvez avoir des bibliothèques de plusieurs architectures installées ensemble et des applications d'une architecture ou d'une autre installées comme alternatives. Notez qu'il n'autorise pas l'installation simultanée de plusieurs versions d'architecture des applications.

Multiarch - HOWTO
Multiarch - Implémentation

Vous pouvez obtenir une image Raspberry Pi 64 bits sur Github. PI64 os Ou vous pouvez consulter la discussion suivante sur StackOverflow Rpi 64bit Os . J'espère que ces liens vous seront utiles.

L'image par défaut que vous gravez n'a pas (évidemment) vos informations de point d'accès wifi, n'a pas de clés ssh pour le compte ubuntu par défaut, vous aurez besoin d'un moniteur et vous aurez également besoin d'un câble HDMI (micro). Cependant, tous les problèmes peuvent être résolus en procédant comme suit. Montez la carte SD sur n'importe quel autre boîtier Linux et procédez comme suit:

1. Modifiez un nouveau yamlfichier sur la carte SD /etc/netplan(par exemple, wifi.yaml). Copiez l'un des yamlfichiers d' exemple netplan.io/examplespour un Wifi. Ajoutez votre point d'accès à wlan0.
2. L'utilisateur ssh-keygendoit générer les clés ( id_rsa, id_rsa.pub), les placer dans le /home/ubuntu/.sshrépertoire de la carte (assurez-vous que les autorisations sont définies pour le répertoire + les clés).

Maintenant, vous pouvez démarrer le Raspberry Pi 4. À partir de votre routeur ou à l'aide de la nmap -sn a.b.c.d/24commande, recherchez l'adresse IP du Raspberry Pi, puis faites une ssh ubuntu@Ubuntu-IP, et c'est parti.

En utilisant cette méthode, vous n'aurez pas besoin d'un moniteur et d'un câble HDMI.