SO de 64 bits no Raspberry Pi 4

Procurando uma versão de 64 bits do Linux para o Raspberry Pi 4.

Estou ciente de que o suporte sob o Ubuntu Mate está em andamento, aparentemente o Ubuntu Server funciona, mas limitou-se a usar 1 GB de RAM.

Existem outras opções que estão funcionando agora?

Em setembro de 2019, os seguintes sistemas operacionais de 64 bits foram executados em um Raspberry Pi 4:

• Gentoo
• Raspbian com kernel de 64 bits (área de usuário de 32 bits)
• Manjaro (Arco)

A lista acima não é de forma alguma exaustiva, porque houve muitas experiências pontuais de 64 bits ("Hey, ele inicializa") começando logo após o lançamento do Pi 4.

Afinal, o procedimento para ajustar uma distribuição existente em uma compatível com Pi 4 de 64 bits não mudou. Assim como no Pi 3 ou Pi 2 v1.2, copiar o kernel e os módulos do kernel de um sistema operacional geralmente resultará em uma configuração inicializada ^* .

Em termos de qualidade e suporte, a situação com Raspberry Pi 4, Buster, kernel 4.19+ e 64 bits é melhor do que tinha sido com Pi 3B + e Stretch. Desta vez, é realmente possível acessar a câmera SoC no modo Fake KMS. O Gentoo foi listado primeiro por sua base de usuários ativa e foi o primeiro a fornecer correções para acessar 4 GB de memória e aceleração V3D.

Observe que para distros sem uma área de usuário arm64 (por exemplo, Raspbian + kernel de 64 bits), são necessárias etapas adicionais para executar programas de 64 bits. Isso pode ser feito por meio de compilação estática, contêineres (LXC, systemd-nspawn) ou chroot. A última opção provou ser a mais direta:

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

Em seguida, continue a instalar mais programas arm64 ou execute-os dentro do chroot:

(pi64)pi@raspberrypi:~ $ glxgears

^* Uma armadilha específica do Pi 4 é que o KMS falso com VC6 exige uma compilação muito recente do Mesa, portanto, uma solução inicial é editar config.txtpara alternar para o modo legado.

O BalenaOS acaba de lançar seu suporte ao RPI4. Ainda não testei (testarei nos próximos dias), mas parece promissor.

Você pode conferir a postagem do blog deles sobre o lançamento aqui .

E os Primeiros passos aqui

Edit: O Ubuntu publicou novas imagens para o raspberry pi, que permitem usar o Raspberry Pi 4 de 4 GB com o Ubuntu 19.10.1 de 64 bits pronto para uso. Veja a postagem do blog

Em dezembro de 19, você pode usar o Ubuntu 19.10 sem limitar seu ram a 3 GB. Supondo que você tenha baixado a imagem do servidor Ubuntu de 64 bits , siga estas instruções e adicione fontes apt propostas pela eaan. Então você faz o seu habitual apt update && apt upgrade, e seu kernel do Ubuntu é atualizado para uma versão que corrige o bug do USB na instalação do Ubuntu de 64 bits no modelo Raspberry Pi 4 4GB.

Já existe um Kali linux completo de 64 bits disponível com suporte para toda a memória RAM 4Gb: https://www.offensive-security.com/kali-linux-arm-images/#1493408272250-e17e9049-9ce8 Para a memória, o kali é um debian com os pacotes / aplicativos pré-instalados na verificação de segurança, é baseado no ramo instável debian, mas nos testes que fiz, você também pode "convertê-lo" no ramo de testes debian (= a próxima versão do debian). Se você quiser experimentar, aqui está o arquivo rpi 2 3 & 4 img do Kali Linux RaspberryPi (2 (v1.2), 3 e 4 de 64 bits): https://images.offensive-security.com /arm-images/kali-linux-2019.3-rpi3-nexmon-64.img.xz outra thread relacionada à execução de um sistema operacional de 64 bits no RPI 4 está aqui e pode interessar a quem procura um sistema operacional de 64 bits (está no fórum dietpi, para memória dietpi é um sistema operacional debian / raspbian muito pequeno (disponível para piscar como img ou instalável através de um script de shell para reduzir e remover muitos pacotes inúteis, permitindo que você instale APENAS o que realmente precisa)): https://dietpi.com/phpbb/viewtopic.php?f=9&t=6065&start=30

Usei esta imagem com êxito : https://jamesachambers.com/raspberry-pi-ubuntu-server-18-04-2-installation-guide/ Só tive que fazer algumas alterações no /boot/firmware/config.txt. Eu usei uma tela sensível ao toque de 7 ".

Ofereço o seguinte procedimento sobre como instalar o Ubuntu 19.10 em um Pi4

Eu obtive a maioria das informações a seguir no site do youtube a seguir.   Ouça porque é bastante preciso na parte que aborda. A única peça que faltava era como configurar uma rede no Pi4 que praticamente não possui ferramentas de rede instaladas. 

Este procedimento será independente de referências externas sempre que necessário para maior clareza ou leitura adicional.

O procedimento consiste em 7 seções:

1. baixe a imagem iso do Pi 4
2. instale a imagem iso no seu cartão SIM (32Gig) com modificações
3. após uma inicialização bem-sucedida no Pi 4, configure sua rede Pi 4 - o Pi 4 não possui ferramentas de rede fornecidas com a imagem, ou seja, "ifconfig", "iwlist" etc. Isso torna a configuração da rede um pouco mais difícil.
4. atualizando e atualizando seu Pi 4 depois de conectado à rede / internet
5. instalando um gerenciador de desktop
6. instalando um segundo desktop - ubuntu desktop gnome3
7. efetuando login com o gerenciador de desktop e configurando sua rede wifi.

Agora, para os detalhes de como fazer isso:

1. Faça o download da imagem iso do Pi 4 em https://ubuntu.com/download/iot/raspberry-pi Obtenha a versão de 64 bits.
2. Instale a imagem iso no seu cartão SIM. Eu uso a ferramenta chamada balenaEtcher. É muito simples de usar, mas você pode usar o que quer que esteja acostumado. Após a imagem ter sido transferida com sucesso para o seu cartão SIM,  aqueles com o Pi 4 de 4 GB precisam fazer o seguinte:  usando o gerenciador de arquivos no laptop ubuntu, localize "system-boot" e clique nele. Isto irá revelar todos os arquivos / diretórios neste sistema de arquivos. Agora faça o seguinte: edite o arquivo chamado usercfg.txt e adicione as duas linhas a seguir:  total_mem = 3072 e dtparam = audio = on.  Essas duas linhas devem ser justificadas neste arquivo. Não se esqueça de salvar este arquivo no cartão sdc. Sem essas duas linhas, um Pi 4 será inicializado para efetuar login e, à medida que você alcança o teclado, o login será deslocado para fora da tela e você estará pronto, não importa quantas vezes você inicialize / tente novamente. O par de login / senha é ubuntu / ubuntu.  Uma vez logado, você será solicitado a redefinir a senha do usuário do Ubuntu.
3. Rede - essas etapas são abordadas abaixo.
4. Atualização e atualização do Pi4 - também abordadas abaixo.

1. faça login no pi
2. endereço IP -> isso mostrará suas interfaces de rede. meu wifi era wlan0 seu poderia ser algo como ws1pS0. Isso não importa. Observe também sua interface Ethernet, provavelmente eth0.
3. conecte o cabo Ethernet ao Pi 4 - sim, é assim que nos conectaremos à Internet. tentar configurar o wifi neste momento era muito difícil.
4. sudo conjunto de links ip dev eth0 down
5. sudo dhclient eth0
6. agora esta etapa é um teste e deve funcionar ou você precisa corrigir por que não está conectado à rede
   1. sudo apt install net-tools - instalará o pacote net-tools. se puder fazer isso, você estará conectado à Internet com êxito e poderá continuar com a etapa 7. Caso contrário, você precisará obter conectividade de rede, porque muitos dos comandos a seguir requerem conexão com o site Ubuntu.
7. atualização do sudo apt
8. sudo apt upgrade
9. sudo apt install ubuntu-mate-desktop - esta é uma instalação de uma hora
10.  quando a área de trabalho for concluída, escolha xdm  (lightdm é outra opção, mas eu não tentei).  Essa também é uma instalação longa .
11. sudo apt install ubuntu-desktop - esta área de trabalho corrige os erros de wifi que eu vi, mas permanece uma memória ruim para mim.
12. desconecte o cabo ethernet
13. sudo shutdown -Fr agora
14. agora você será presenteado com um desktop ubuntu gnome 3. login: ubuntu / sua nova senha
15. agora configure o wifi.
    1. no topo da tela, você verá alguns ícones. Pode haver um ícone de rede, então clique nele. Se não houver um ícone de rede, clique nessa região e ele mostrará um ícone de rede wifi. clique nele e comece a configurar sua rede wifi, ou seja, seu nome e senha, dhcp, etc. O ícone da rede agora pode ter um "?" marca nele para reiniciar. Isso deve corrigir o problema do ponto de interrogação e agora você terá um Pi4 executando o Ubuntu 19.10.
    2. abra o Firefox e, se você puder navegar, sua rede será boa.
    3. clique no gerenciador de rede e veja se você pode listar as redes disponíveis
    4. deixe a proteção de tela / economia de energia entrar e ative o sistema. Veja se você pode listar as redes disponíveis no gerenciador de rede e se pode navegar com o Firefox.

Nota: 

1. se você continuar a ter um "?" marca sobre o ícone de rede, vá para configurações -> privacidade e defina as configurações de conectividade como "desativadas"

Existem outras opções que estão funcionando agora?

A imagem https://ubuntu.com/download/raspberry-pi funciona nos modelos RPi4 de 1 GB e 2 GB, mas precisa de um patch para o modelo de 4 GB para funcionar apenas com alocação de limite de memória de 3 GB.

ATUALIZAR:

O que é esse Multiarch?

O Debian disse: O Multiarch permite instalar pacotes de bibliotecas de várias arquiteturas na mesma máquina. Isso é útil de várias maneiras, mas o mais comum é instalar o software de 64 e 32 bits na mesma máquina e ter as dependências resolvidas corretamente automaticamente. Em geral, você pode ter bibliotecas de mais de uma arquitetura instaladas juntas e aplicativos de uma arquitetura ou outra instalados como alternativas. Observe que ele não permite que várias versões da arquitetura dos aplicativos sejam instaladas simultaneamente.

Multiarch - HOWTO
Multiarch - Implementação

Você pode obter a imagem do Raspberry Pi de 64 bits no Github. PI64 os Ou você pode conferir a seguinte discussão sobre StackOverflow Rpi 64bit Os . Espero que esses links sejam úteis para você.

A imagem padrão que você grava não tem (obviamente) suas informações de ponto de acesso wifi, não possui chaves ssh para a conta ubuntu padrão, você precisará de um monitor e também de um cabo HDMI (micro). No entanto, todos os problemas podem ser superados, fazendo o seguinte. Monte o cartão sd em qualquer outra caixa do Linux e faça o seguinte:

1. Edite um novo yamlarquivo no cartão SD /etc/netplan(por exemplo, wifi.yaml). Copie um dos yamlarquivos de exemplo netplan.io/examplespara um Wifi. Adicione seu ponto de acesso a wlan0.
2. Usuário ssh-keygenpara gerar chaves ( id_rsa, id_rsa.pub), coloque-as no /home/ubuntu/.sshdiretório do cartão (verifique se as permissões estão definidas para o diretório + chaves).

Agora, você pode inicializar o Raspberry Pi 4. No seu roteador ou usando o nmap -sn a.b.c.d/24comando, encontre o endereço IP do Raspberry Pi e faça um ssh ubuntu@Ubuntu-IP, e pronto.

Usando esse método, você não precisará de um monitor e de um cabo HDMI.