From 7f5ba0cba8fbfe8f20543a28eb554262ef3a9b21 Mon Sep 17 00:00:00 2001
From: Emery Hemingway <ehmry@posteo.net>
Date: Fri, 22 May 2020 13:45:45 +0530
Subject: [PATCH] fixup nixos module

---
 nixos-modules/default.nix | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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";
       };
     };
   };