NixOS
NixOS mobile
Url
https://mobile.nixos.org/
On Raspberry pi 3
Resources
On NixOS wiki
https://wiki.nixos.org/wiki/NixOS_on_ARM/Raspberry_Pi_3
Proceso
Descargar imágen
https://hydra.nixos.org/job/nixos/release-25.05/nixos.sd_image.aarch64-linux
Flashear imagen en SD
Cargar en raspi
Esperar al menos 1 minuto aunque se apage el HDMI temporalmente
sudo nixos-generate-config
Sync
Wifi config
Apagar y extraer
Crear wpa_supplicant.conf
Volver a ejecutar
Lanzar WPA_Supplicant
Crear usuario con contraseña conocida para ssh
Crear swap, al menos 4 GB? Ponle 8GB
Lanzar sudo nixos-rebuild switch desde un screen en ssh
sudo nixos-rebuild switch
screen
ssh
Reiniciar