SO de 64 bits en Raspberry Pi 4

Buscando una versión de Linux de 64 bits para Raspberry Pi 4.

Soy consciente de que el soporte en Ubuntu Mate está en proceso, aparentemente Ubuntu Server funciona pero se limita a usar 1 GB de RAM.

¿Hay alguna otra opción que esté funcionando ahora?

A partir de septiembre de 2019, los siguientes sistemas operativos de 64 bits se ejecutan en una Raspberry Pi 4:

• Gentoo
• Raspbian con kernel de 64 bits (tierra de usuarios de 32 bits)
• Manjaro (Arco)

La lista anterior no es exhaustiva porque ha habido muchos experimentos únicos de 64 bits ("Hey, arranca") comenzando poco después del lanzamiento de Pi 4.

Después de todo, el procedimiento para ajustar una distribución existente en una compatible con Pi 4 de 64 bits no ha cambiado. Al igual que con un Pi 3 o Pi 2 v1.2, copiar sobre el núcleo y los módulos del núcleo desde un sistema en funcionamiento generalmente dará como resultado una configuración que se inicia ^* .

En términos de calidad y soporte, la situación con Raspberry Pi 4, Buster, kernel 4.19+ y 64 bits es mejor de lo que había sido con Pi 3B + y Stretch. Esta vez es posible acceder a la cámara SoC en modo KMS falso. Gentoo se ha enumerado primero por su base de usuarios activa y fue el primero en proporcionar soluciones para acceder a 4 GB de memoria y aceleración V3D.

Tenga en cuenta que para las distribuciones sin un país de usuario arm64 (por ejemplo, Raspbian + kernel de 64 bits), se necesitan pasos adicionales para ejecutar programas de 64 bits. Esto se puede hacer mediante compilación estática, contenedores (LXC, systemd-nspawn) o chroot. La última opción ha demostrado ser la más sencilla:

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

Luego continúe instalando más programas arm64 o ejecútelos dentro del chroot:

(pi64)pi@raspberrypi:~ $ glxgears

^* Una trampa específica para Pi 4 es que el KMS falso con VC6 requiere una compilación muy reciente de Mesa, por lo que una solución inicial es editar config.txtpara cambiar al modo heredado.

BalenaOS acaba de lanzar su soporte para RPI4. Todavía no lo he probado (lo probaré en los próximos días) pero parece prometedor.

Puede consultar su publicación de blog sobre el lanzamiento aquí .

Y el empezar aquí

Editar: Ubuntu ha publicado nuevas imágenes para raspberry pi que le permiten usar Raspberry Pi 4 4GB con Ubuntu 19.10.1 de 64 bits listo para usar. Ver la publicación del blog

A partir de diciembre de '19, puede usar Ubuntu 19.10 sin limitar su RAM a 3GB. Suponiendo que ha descargado la imagen del servidor Ubuntu de 64 bits , puede seguir estas instrucciones y agregar fuentes de apt propuestas por eoan. Luego haces lo habitual apt update && apt upgrade, y tu kernel de Ubuntu se actualiza a una versión que corrige el error USB en la instalación de Ubuntu de 64 bits en el modelo Raspberry Pi 4 4GB.

Ya hay un Kali Linux completo de 64 bits disponible con soporte para toda la memoria RAM de 4 Gb: https://www.offensive-security.com/kali-linux-arm-images/#1493408272250-e17e9049-9ce8 Para la memoria, kali es un debian con paquetes / aplicaciones preinstalados de comprobación de seguridad, se basa en la rama inestable de Debian, pero a partir de las pruebas que hice, también puede "convertirlo" en la rama de prueba de Debian (= la próxima versión de Debian). Si desea probarlo, aquí está el archivo img rpi 2 3 & 4 de Kali Linux RaspberryPi (2 (v1.2), 3 y 4 de 64 bits): https://images.offensive-security.com /arm-images/kali-linux-2019.3-rpi3-nexmon-64.img.xz otro hilo relacionado con la ejecución de un sistema operativo 64 en el RPI 4 está aquí, y podría interesar a cualquiera que busque un sistema operativo de 64 bits (está en el foro dietpi, para memoria dietpi es un sistema operativo debian / raspbian muy pequeño (disponible para flashear como un img o instalable a través de un script de shell para reducir y eliminar una gran cantidad de paquetes inútiles, lo que le permite instalar SOLO lo que realmente necesita)): https://dietpi.com/phpbb/viewtopic.php?f=9&t=6065&start=30

Utilicé esta imagen con éxito: https://jamesachambers.com/raspberry-pi-ubuntu-server-18-04-2-installation-guide/ Solo tuve que hacer algunos cambios en /boot/firmware/config.txt. Usé una pantalla táctil de 7 ".

Ofrezco el siguiente procedimiento sobre cómo instalar Ubuntu 19.10 en un Pi4

Obtuve la mayor parte de la siguiente información del siguiente sitio de YouTube.   Escuche porque es bastante precisa en la parte que cubre. La única pieza que faltaba era cómo configurar una red en el Pi4 que prácticamente no tenía instaladas herramientas de red. 

Este procedimiento será autónomo con referencias externas cuando sea necesario para mayor claridad o lectura adicional.

El procedimiento consta de 7 secciones:

1. descargar la imagen iso Pi 4
2. instale la imagen iso en su tarjeta sim (32Gig) con modificaciones
3. después de un inicio exitoso en el Pi 4, configure su red Pi 4: el Pi 4 no tiene herramientas de red suministradas con la imagen, es decir, no tiene "ifconfig", "iwlist", etc. Esto hace que la configuración de la red sea un poco más difícil.
4. actualizar y actualizar su Pi 4 una vez conectado a la red / internet
5. instalar un administrador de escritorio
6. instalar un segundo escritorio - ubuntu desktop gnome3
7. iniciar sesión con el administrador de escritorio y configurar su red wifi.

Ahora para los detalles sobre cómo hacer esto:

1. Descargue la imagen iso Pi 4 de https://ubuntu.com/download/iot/raspberry-pi Obtenga la versión de 64 bits.
2. Instale la imagen iso en su tarjeta sim. Yo uso la herramienta llamada balenaEtcher. Es bastante simple de usar, pero puede usar lo que sea que esté acostumbrado. Después de que la imagen se haya transferido exitosamente a su tarjeta SIM,  aquellos de ustedes con 4 GB Pi 4 deben hacer lo siguiente:  usando el administrador de archivos en su computadora portátil ubuntu, busque "system-boot" y haga clic en él. Esto revelará todos los archivos / directorios en este sistema de archivos. Ahora haga lo siguiente: edite el archivo llamado usercfg.txt y agregue las siguientes dos líneas:  total_mem = 3072 y dtparam = audio = on.  Estas dos líneas deben dejarse justificadas en este archivo. No olvide guardar este archivo en la tarjeta sdc. Sin estas dos líneas, un Pi 4 se iniciará para iniciar sesión y cuando alcance el teclado, el inicio de sesión se desplazará fuera de la pantalla y habrá terminado sin importar cuántas veces reinicie / intente nuevamente. El par de inicio de sesión / contraseña es ubuntu / ubuntu.  Una vez que haya iniciado sesión, se le pedirá que restablezca la contraseña para el usuario de ubuntu.
3. Redes: estos pasos se tratan a continuación.
4. Actualización y actualización de su Pi4: también se trata a continuación.

1. iniciar sesión en el pi
2. ip addr -> esto mostrará sus interfaces de red. mi wifi era wlan0 tu podría ser algo así como ws1pS0. No importa. También tenga en cuenta su interfaz ethernet, muy probablemente eth0.
3. conecte el cable de ethernet a Pi 4: sí, así es como nos conectaremos a internet. Intentar configurar el wifi en este punto era demasiado difícil.
4. sudo ip link set dev eth0 down
5. sudo dhclient eth0
6. ahora este paso es una prueba y debe funcionar o debe solucionar por qué no está conectado a la red
   1. sudo apt install net-tools: esto instalará el paquete net-tools. si puede hacer esto, entonces está conectado a Internet con éxito y puede continuar con el paso 7. Si no, necesita obtener conectividad de red porque muchos de los comandos que siguen requieren conectarse al sitio de Ubuntu.
7. sudo apt update
8. sudo apt upgrade
9. sudo apt install ubuntu-mate-desktop: esta es una instalación de una hora
10.  cuando el escritorio se complete, elija xdm  (lightdm es otra opción pero no lo he probado).  Esto también es una instalación larga .
11. sudo apt install ubuntu-desktop: este escritorio solucionará los errores de wifi que vi, pero sigue siendo una mala memoria para mí.
12. desconecte el cable de ethernet
13. sudo shutdown -Fr ahora
14. ahora se le presentará un escritorio ubuntu gnome 3. inicio de sesión: ubuntu / su nueva contraseña
15. ahora configurar wifi.
    1. en la parte superior de la pantalla verás un par de íconos. Puede haber un icono de red, así que haga clic en él. Si no hay un icono de red, haga clic en esa región y le mostrará un icono de red wifi. haga clic en él y comience a configurar su red wifi, es decir, su nombre y contraseña, dhcp, etc. El icono de red ahora puede tener un "?" marca en él para reiniciar. Esto debería solucionar el problema del signo de interrogación y ahora tendrá un Pi4 con Ubuntu 19.10.
    2. abra Firefox y si puede navegar, entonces su red es buena.
    3. haga clic en el administrador de red y vea si puede enumerar las redes disponibles
    4. deje que se active el protector de pantalla / ahorro de energía y luego active el sistema. Vea si puede enumerar las redes disponibles en el administrador de red y si puede navegar con Firefox.

Nota: 

1. si sigues teniendo un "?" marque sobre el icono de red vaya a configuración -> privacidad y establezca la configuración de conectividad en "apagado"

¿Hay alguna otra opción que esté funcionando ahora?

La imagen https://ubuntu.com/download/raspberry-pi funciona para los modelos RPi4 de 1 GB y 2 GB, pero necesita un parche para que el modelo de 4 GB funcione con solo una asignación de límite de memoria de 3 GB.

ACTUALIZAR:

¿Qué es este multiarca?

Debian dijo: Multiarch le permite instalar paquetes de biblioteca de múltiples arquitecturas en la misma máquina. Esto es útil de varias maneras, pero lo más común es instalar software de 64 y 32 bits en la misma máquina y tener las dependencias resueltas correctamente automáticamente. En general, puede tener bibliotecas de más de una arquitectura instaladas juntas y aplicaciones de una arquitectura u otra instaladas como alternativas. Tenga en cuenta que no permite la instalación simultánea de varias versiones de arquitectura de las aplicaciones.

Multiarch - HOWTO
Multiarch - Implementación

Puede obtener una imagen de 64 bits de Raspberry Pi en Github. PI64 os O puede consultar la siguiente discusión sobre StackOverflow Rpi 64bit Os . Espero que estos enlaces te sean útiles.

La imagen predeterminada que graba no tiene (obviamente) su información de punto de acceso wifi, no tiene claves ssh para la cuenta predeterminada de ubuntu, necesitará un monitor y también necesitará un cable HDMI (micro). Sin embargo, todos los problemas pueden superarse haciendo lo siguiente. Monte la tarjeta SD en cualquier otra caja de Linux y haga lo siguiente:

1. Edite un nuevo yamlarchivo en la tarjeta SD /etc/netplan(por ejemplo, wifi.yaml). Copie uno de los yamlarchivos de ejemplo de netplan.io/examplesun Wifi. Agregue su punto de acceso a wlan0.
2. Usuario ssh-keygenpara generar claves ( id_rsa, id_rsa.pub), colóquelas en el /home/ubuntu/.sshdirectorio de la tarjeta (asegúrese de que los permisos estén configurados para el directorio + claves).

Ahora, puede arrancar la Raspberry Pi 4. Desde su enrutador o mediante un nmap -sn a.b.c.d/24comando, busque la dirección IP de la Raspberry Pi, haga una ssh ubuntu@Ubuntu-IP, y listo.

Con este método no necesitará un monitor y un cable HDMI.