diff --git a/nixos-modules/default.nix b/nixos-modules/default.nix
index ac0527e..08fa9a9 100644
--- a/nixos-modules/default.nix
+++ b/nixos-modules/default.nix
@@ -144,7 +144,7 @@ in {
       extraFiles = {
         bender = "${pkgs'.genodeSources}/tool/boot/bender";
         hypervisor = "${pkgs'.NOVA}/hypervisor-x86_64";
-        "image.elf.gz" = firmware;
+        "image.elf.gz" = "${firmware}/image.elf.gz";
       };
     };
   };