raspberry-pi/5: add installer

This patch provides an installer for Raspberry Pi 5 boards. An option is
provided to choose between rev 1.0 and rev 1.1 boards. The installer
selects the U-Boot package based on that option.

Signed-off-by: Filip Kokosiński <filip.kokosinski@gmail.com>

Author: fkokosinski

raspberry-pi/5/installer.nix

@@ -0,0 +1,62 @@
+{
+  lib,
+  config,
+  pkgs,
+  ...
+}:
+
+let
+  uboot = builtins.getAttr (config.hardware.rpiRevision) {
+    "rev1.0" = pkgs.ubootRaspberryPi5_rev1_0;
+    "rev1.1" = pkgs.ubootRaspberryPi5_rev1_1;
+  };
+
+  configTxt = pkgs.writeText "config.txt" ''
+    disable_overscan=1
+    enable_uart=1
+    kernel=u-boot-rpi5.bin
+    device_tree=bcm2712-rpi-5-b.dtb
+  '';
+in
+{
+  imports = [
+    <nixpkgs/nixos/modules/installer/sd-card/sd-image.nix>
+    <nixos-hardware/raspberry-pi/5>
+  ];
+
+  options.hardware.rpiRevision =
+    with lib;
+    mkOption {
+      type = types.enum [
+        "rev1.0"
+        "rev1.1"
+      ];
+      default = "rev1.0";
+      description = ''
+        Select which Raspberry Pi 5 board revision to use.
+      '';
+    };
+
+  config.sdImage = {
+    populateFirmwareCommands = ''
+      pushd ${pkgs.raspberrypifw}/share/raspberrypi/boot
+        # firmware blobs
+        cp bootcode.bin fixup*.dat start*.dat $NIX_BUILD_TOP/firmware/
+
+        # device tree blobs
+        cp bcm2712*.dtb $NIX_BUILD_TOP/firmware/
+      popd
+
+      # copy config.txt
+      cp ${configTxt} $NIX_BUILD_TOP/firmware/config.txt
+
+      # copy uboot (selectable)
+      cp ${uboot}/u-boot.bin $NIX_BUILD_TOP/firmware/u-boot-rpi5.bin
+    '';
+
+    populateRootCommands = ''
+      mkdir -p ./files/boot
+      ${config.boot.loader.generic-extlinux-compatible.populateCmd} -c ${config.system.build.toplevel} -d ./files/boot
+    '';
+  };
+}