Depois de não configurar a imagem microSD do Nixos usando a versão 23.05, tentei novamente com nixos-sd-image-22.11.4604.fc95eb4fc3c-aarch64-linux.img, mas não conseguiu inicializar.
Ao criar o tutorial, “instalando nixos no Raspberry Pi 4”, encontrei uma tonelada de caminhos que não funcionaram.Embora a instalação da imagem do disco de 23.05 nixos tenha falhado, pensei em contornar o problema fazendo uma atualização no local do NIXOS de 21.11 a 23.05.Nixos oferece imagens inicializáveis para sistemas de braço de 64 bits
“Maravilhoso!”Pensei comigo mesmo, pois o Pi 4 tem uma CPU de braço de 64 bits.Não testei se o Nixos 21.11 pode instalar sem ele, então deixei por enquanto.
