systemd-boot: copy the entire bootloader to the second disc on every switch

hosts/quitte/configuration.nix

@@ -1,4 +1,4 @@
-{ config, ... }:
+{ config, pkgs, ... }:
 
 {
   imports =
@@ -7,7 +7,12 @@
       ./network.nix
     ];
 
-  boot.loader.systemd-boot.enable = true;
+  boot.loader.systemd-boot = {
+    enable = true;
+    extraInstallCommands = ''
+      ${pkgs.coreutils}/bin/cp -r /boot/* /boot2
+    '';
+  };
   # boot.kernelParams = [ "video=VGA-1:1024x768@30" ];
   boot.loader.efi.canTouchEfiVariables = true;
   boot.supportedFilesystems = [ "zfs" ];

hosts/quitte/hardware-configuration.nix

@@ -45,6 +45,11 @@
       device = "/dev/disk/by-uuid/3278-8D00";
       fsType = "vfat";
     };
+  fileSystems."/boot2" =
+    {
+      device = "/dev/disk/by-uuid/3366-F71E";
+      fsType = "vfat";
+    };
 
   swapDevices = [ ];
   nixpkgs.hostPlatform = lib.mkDefault "x86_64-linux";