Sistema operativo a 64 bit su Raspberry Pi 4

Alla ricerca di una versione a 64 bit di Linux per Raspberry Pi 4.

Sono consapevole che il supporto sotto Ubuntu Mate è in lavorazione, a quanto pare Ubuntu Server funziona ma si limita all'utilizzo di 1 GB di RAM.

Ci sono altre opzioni che funzionano ora?

A partire da settembre 2019, i seguenti sistemi operativi a 64 bit funzionano su un Raspberry Pi 4:

• Gentoo
• Raspbian con kernel a 64 bit (area utente a 32 bit)
• Manjaro (Arch)

L'elenco sopra riportato non è affatto esaustivo perché ci sono stati molti esperimenti una tantum a 64 bit ("Ehi, si avvia") a partire poco dopo l'uscita di Pi 4.

Dopotutto, la procedura per modificare una distro esistente in una Pi 4 compatibile a 64 bit non è cambiata. Proprio come con un Pi 3 o Pi 2 v1.2, la copia sul kernel e sui moduli del kernel da un sistema funzionante di solito si tradurrà in una configurazione che si avvia ^* .

In termini di qualità e supporto, la situazione con Raspberry Pi 4, Buster, kernel 4.19+ e 64-bit è migliore di quanto non fosse stata con Pi 3B + e Stretch. Questa volta è effettivamente possibile accedere alla telecamera SoC in modalità KMS falsa. Gentoo è stato elencato per primo per la sua base utente attiva ed è stato il primo a fornire correzioni per l'accesso a 4 GB di memoria e l'accelerazione V3D.

Si noti che per le distribuzioni senza userland arm64 (ad es. Raspbian + kernel a 64 bit), sono necessari passaggi aggiuntivi per eseguire programmi a 64 bit. Questo può essere fatto tramite compilazione statica, contenitori (LXC, systemd-nspawn) o chroot. L'ultima opzione si è rivelata la più semplice:

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

Quindi continua a installare più programmi arm64 o eseguirli all'interno del chroot:

(pi64)pi@raspberrypi:~ $ glxgears

^* Una trappola specifica per Pi 4 è che il falso KMS con VC6 richiede una build molto recente di Mesa, quindi una soluzione iniziale è quella di modificare config.txtper passare alla modalità legacy.

BalenaOS ha appena rilasciato il suo supporto per RPI4. Non l'ho ancora provato (lo proverò nei prossimi giorni) ma sembra promettente.

Puoi controllare il loro post sul blog per quanto riguarda il rilascio qui .

E inizia qui

Modifica: Ubuntu ha pubblicato nuove immagini per raspberry pi che consentono di utilizzare Raspberry Pi 4 da 4 GB con Ubuntu 19.10.1 64-out-of-the-box. Vedi il post sul blog

A partire dal dicembre '19, puoi usare Ubuntu 19.10 senza limitare il tuo RAM a 3 GB. Supponendo di aver scaricato l' immagine del server Ubuntu a 64 bit , è possibile seguire queste istruzioni e aggiungere fonti apt proposte da eoan. Quindi fai il tuo solito apt update && apt upgradee il tuo kernel Ubuntu viene aggiornato a una versione che corregge il bug USB sull'installazione Ubuntu a 64 bit sul modello Raspberry Pi 4 da 4 GB.

C'è già un completo Kali Linux a 64 bit disponibile con supporto di tutta la memoria RAM da 4 GB: https://www.offensive-security.com/kali-linux-arm-images/#1493408272250-e17e9049-9ce8 Per quanto riguarda la memoria, Kali è un debian con i pacchetti / app preinstallati per il controllo di sicurezza, si basa sul ramo instabile debian, ma dai test che ho effettuato, puoi anche "convertirlo" nel ramo test debian (= la prossima versione debian). Se vuoi provarlo, ecco il file img rpi 2 3 & 4 di Kali Linux RaspberryPi (2 (v1.2), 3 e 4 64-Bit): https://images.offensive-security.com /arm-images/kali-linux-2019.3-rpi3-nexmon-64.img.xz un altro thread relativo all'esecuzione di un sistema operativo 64 su RPI 4 è qui, e potrebbe interessare chiunque cerchi un sistema operativo a 64 bit (è sul forum dietpi, poiché dietpi memoria è un sistema operativo debian / raspbian molto piccolo (disponibile per flash come img o installabile tramite uno script shell per ridurre e rimuovere molti pacchetti inutili, che consente di installare SOLO ciò di cui si ha realmente bisogno)): https://dietpi.com/phpbb/viewtopic.php?f=9&t=6065&start=30

Ho usato questa immagine con successo: https://jamesachambers.com/raspberry-pi-ubuntu-server-18-04-2-installation-guide/ Ho dovuto solo apportare alcune modifiche in /boot/firmware/config.txt. Ho usato un touchscreen da 7 ".

Offro la seguente procedura su come installare Ubuntu 19.10 su un Pi4

Ho ricevuto la maggior parte delle seguenti informazioni dal seguente sito di YouTube   Dagli un ascolto perché è abbastanza accurato nella parte che copre. L'unico pezzo mancante era come configurare una rete su Pi4 che non ha praticamente strumenti di rete installati. 

Questa procedura sarà autonoma con riferimenti esterni ove necessario per chiarezza o lettura aggiuntiva.

La procedura è composta da 7 sezioni:

1. scarica l'immagine iso Pi 4
2. installa l'immagine iso sulla tua scheda SIM (32Gig) con modifiche
3. dopo un avvio riuscito sul Pi 4 configura la tua rete Pi 4 - il Pi 4 non ha strumenti di rete forniti con l'immagine, cioè nessun "ifconfig", "iwlist", ecc. Ciò rende la configurazione della rete un po 'più difficile.
4. aggiornando e aggiornando il tuo Pi 4 una volta connesso alla rete / internet
5. installazione di un desktop manager
6. installazione di un secondo desktop - Ubuntu desktop gnome3
7. accedendo con il desktop manager e configurando la tua rete wifi.

Ora per i dettagli su come eseguire questa operazione:

1. Scarica l'immagine ISO Pi 4 da https://ubuntu.com/download/iot/raspberry-pi Ottieni la versione a 64 bit.
2. Installa l'immagine ISO sulla tua scheda SIM. Uso lo strumento chiamato balenaEtcher. È abbastanza semplice da usare ma puoi usare ciò a cui sei abituato. Dopo che l'immagine è stata trasferita correttamente sulla tua scheda SIM,  quelli di te con il 4 GB Pi 4 devono fare quanto segue:  usando il file manager sul tuo laptop ubuntu trova "system-boot" e fai clic su di esso. Questo rivelerà tutti i file / directory in questo filesystem. Ora procedi come segue: modifica il file chiamato usercfg.txt e aggiungi le seguenti due righe:  total_mem = 3072 e dtparam = audio = on.  Queste due righe dovrebbero essere giustificate in questo file. Non dimenticare di salvare questo file sulla scheda SD. Senza queste due linee un Pi 4 si avvierà per accedere e man mano che raggiungi la tastiera, il login scorrerà fuori dallo schermo e il gioco è fatto, indipendentemente da quante volte si avvia / riprova. La coppia login / password è ubuntu / ubuntu.  Una volta effettuato l'accesso ti verrà chiesto di ripristinare il passwd per l'utente Ubuntu.
3. Rete: questi passaggi sono trattati di seguito.
4. Aggiornamento e aggiornamento del Pi4 - anche coperto di seguito.

1. accedi al pi
2. ip addr -> questo mostrerà le tue interfacce di rete. il mio wifi era wlan0 il tuo potrebbe essere qualcosa come ws1pS0. Non importa. Nota anche la tua interfaccia Ethernet, molto probabilmente eth0.
3. collegare il cavo Ethernet a Pi 4 - sì, è così che ci collegheremo a Internet. provare a configurare il wifi a questo punto è stato troppo difficile.
4. sudo ip link set dev eth0 down
5. sudo dhclient eth0
6. ora questo passaggio è un test e deve funzionare o è necessario risolvere il motivo per cui non si è connessi alla rete
   1. sudo apt install net-tools - questo installerà il pacchetto net-tools. se è possibile farlo, si è connessi correttamente a Internet e si può continuare con il passaggio 7. In caso contrario, è necessario ottenere la connettività di rete perché molti dei comandi che seguono richiedono la connessione al sito Ubuntu.
7. sudo apt update
8. sudo apt upgrade
9. sudo apt install ubuntu-mate-desktop - questa è un'installazione di un'ora
10.  quando il desktop completa scegli xdm  (lightdm è un'altra scelta ma non l'ho provato).  Anche questa è una lunga installazione .
11. sudo apt installa ubuntu-desktop - questo desktop risolverà gli errori wifi che ho visto ma rimarrà solo un brutto ricordo per me.
12. scollegare il cavo ethernet
13. sudo shutdown -Fr ora
14. ora ti verrà presentato un desktop Ubuntu Gnome 3. login: ubuntu / la tua nuova password
15. ora imposta wifi.
    1. nella parte superiore dello schermo vedrai un paio di icone. Potrebbe esserci un'icona di rete, quindi fai clic su di essa. Se non c'è un'icona di rete, fai clic in quella regione e ti mostrerà un'icona di rete wifi. fai clic su di esso e inizia a configurare la tua rete wifi, ovvero nome e password, dhcp, ecc. L'icona di rete potrebbe ora avere un "?" segnalo, quindi riavvia. Questo dovrebbe risolvere il problema del punto interrogativo e ora avrai un Pi4 con Ubuntu 19.10.
    2. apri Firefox e se puoi navigare allora la tua rete è buona.
    3. fai clic su Network Manager e vedi se riesci a elencare le reti disponibili
    4. lasciare che lo screen saver / power saver entri in azione, quindi riattivare il sistema. Vedi se riesci a elencare le reti disponibili in Network Manager e se puoi navigare con Firefox.

Nota: 

1. se continui ad avere un "?" segna sull'icona della rete vai su impostazioni -> privacy e imposta le impostazioni di connettività su "off"

Ci sono altre opzioni che funzionano ora?

L'immagine https://ubuntu.com/download/raspberry-pi funziona per i modelli RPi4 da 1 GB e 2 GB, ma necessita di una patch affinché il modello da 4 GB funzioni solo con l'allocazione del limite di memoria di 3 GB.

AGGIORNARE:

Cos'è questo Multiarch?

Debian ha detto: Multiarch consente di installare pacchetti di librerie da più architetture sullo stesso computer. Ciò è utile in vari modi, ma il più comune è l'installazione di software a 64 e 32 bit sulla stessa macchina e la corretta risoluzione automatica delle dipendenze. In generale, è possibile avere librerie di più di un'architettura installate insieme e applicazioni di un'architettura o di un'altra installate come alternative. Si noti che non consente l'installazione contemporanea di più versioni di architettura di applicazioni.

Multiarch - HOWTO
Multiarch - Implementazione

Puoi ottenere l'immagine Raspberry Pi a 64 bit su Github. PI64 os Oppure puoi dare un'occhiata alla seguente discussione su StackOverflow Rpi 64bit Os . Spero che questi link ti siano utili.

L'immagine predefinita che bruci non ha (ovviamente) le informazioni del tuo punto di accesso wifi, non ha chiavi ssh per l'account ubuntu predefinito, avrai bisogno di un monitor e avrai anche bisogno di un cavo HDMI (micro). Tuttavia, tutti i problemi possono essere superati nel modo seguente. Montare la scheda SD su qualsiasi altra scatola Linux e procedere come segue:

1. Modifica un nuovo yamlfile nella scheda SD /etc/netplan(ad es. Wifi.yaml). Copia uno dei yamlfile di esempio da netplan.io/examplesper un Wifi. Aggiungi il tuo punto di accesso a wlan0.
2. L'utente ssh-keygendeve generare le chiavi ( id_rsa, id_rsa.pub), inserirle nella /home/ubuntu/.sshdirectory della scheda (assicurarsi che siano impostate le autorizzazioni per la directory + chiavi).

Ora puoi avviare Raspberry Pi 4. Dal tuo router o usando il nmap -sn a.b.c.d/24comando, trova l'indirizzo IP di Raspberry Pi, esegui un ssh ubuntu@Ubuntu-IPe il gioco è fatto.

Usando questo metodo non avrai bisogno di un monitor e di un cavo HDMI.