NixOS on ARM/Raspberry Pi 4: Difference between revisions

imported>Samueldr
m Removed stray newline
imported>Ymarkus
Some clarification (see discussion) and change bootloader
Line 39: Line 39:
== Board-specific installation notes ==
== Board-specific installation notes ==


First follow the [[NixOS_on_ARM#Installation|generic installation steps]] to get the installer image and install using the [[NixOS_on_ARM#NixOS_installation_.26_configuration|installation and configuration steps]].
<del>First follow the [[NixOS_on_ARM#Installation|generic installation steps]] to get the installer image</del> and install using the [[NixOS_on_ARM#NixOS_installation_.26_configuration|installation and configuration steps]].


Until the generic image works, a [https://hydra.nixos.org/job/nixos/trunk-combined/nixos.sd_image_raspberrypi4.aarch64-linux temporary device-specific image is build on Hydra]. Note that this image is not using u-boot, but rather the Raspberry Pi specific bootloader configuration.
''(Until the generic image works, a [https://hydra.nixos.org/job/nixos/trunk-combined/nixos.sd_image_raspberrypi4.aarch64-linux temporary device-specific image is build on Hydra]. Note that this image is not using u-boot, but rather the Raspberry Pi specific bootloader configuration.)''


=== Minimal configuration ===
=== Minimal configuration ===
Line 59: Line 59:
   };
   };
   boot.loader.grub.enable = false;
   boot.loader.grub.enable = false;
   boot.loader.raspberryPi.enable = true;
   boot.loader.generic-extlinux-compatible.enable = true;
  boot.loader.raspberryPi.version = 4;
   # Mainline doesn't work yet
   # Mainline doesn't work yet
   boot.kernelPackages = pkgs.linuxPackages_rpi4;
   boot.kernelPackages = pkgs.linuxPackages_rpi4;