nixos: add nova artifacts to boot.loader.grub.extraFiles

nixos-modules/nova.nix

@@ -39,20 +39,29 @@ in {
       "-initrd '${pkgs.genodePackages.NOVA}/hypervisor-x86_64 arg=iommu logmem novpid serial,${config.genode.boot.image}/image.elf'"
     ];
 
-  virtualisation.qemu.kernel = "${pkgs.genodePackages.bender}/share/bender/bender";
+  virtualisation.qemu.kernel =
+    "${pkgs.genodePackages.bender}/share/bender/bender";
 
   virtualisation.qemu.initrd = "${pkgs.genodePackages.NOVA}/hypervisor-x86_64";
 
-  virtualisation.qemu.cmdline = "arg=iommu logmem novpid serial,${config.genode.boot.image}/image.elf";
+  virtualisation.qemu.cmdline =
+    "arg=iommu logmem novpid serial,${config.genode.boot.image}/image.elf";
 
-  boot.loader.grub.extraEntries = ''
-    menuentry 'Genode on NOVA' {
-      insmod multiboot2
-      insmod gzio
-      multiboot2 ${bootDir}/bender.gz serial_fallback
-      module2 ${bootDir}/hypervisor.gz hypervisor iommu logmem novga novpid serial
-      module2 ${bootDir}/image.elf.gz image.elf
-    }
-  '';
+  boot.loader.grub = {
+    extraEntries = ''
+      menuentry 'Genode on NOVA' {
+        insmod multiboot2
+        insmod gzio
+        multiboot2 /bender.gz serial_fallback
+        module2 /hypervisor.gz hypervisor iommu logmem novga novpid serial
+        module2 /image.elf.gz image.elf
+      }
+    '';
+    extraFiles = {
+      "bender.gz" = bootDir + "/bender.gz";
+      "hypervisor.gz" = bootDir + "/hypervisor.gz";
+      "image.elf.gz" = bootDir + "/image.elf.gz";
+    };
+  };
 
 }