diff --git a/lib/default.nix b/lib/default.nix
index e01b114..ce0b42d 100644
--- a/lib/default.nix
+++ b/lib/default.nix
@@ -39,7 +39,9 @@ in rec {
         > $out/config.dhall.bin
     '';
 
-  hwImage = name: env: boot:
+  hwImage = name:
+    { gzip ? false, ... }@env:
+    boot:
     nixpkgs.stdenv.mkDerivation {
       name = name + ".image.elf";
       build = compileBoot name env boot;
@@ -94,10 +96,12 @@ in rec {
           bootstrap/modules_asm \
           0x00200000 \
           $out/image.elf
-      '';
+      '' + nixpkgs.lib.optionalString gzip "gzip $out/image.elf";
     };
 
-  novaImage = name: env: boot:
+  novaImage = name:
+    { gzip ? false, ... }@env:
+    boot:
     nixpkgs.stdenv.mkDerivation {
       name = name + ".image.elf";
       build = compileBoot name env boot;
@@ -117,7 +121,7 @@ in rec {
         	-Ttext=0x100000 -gc-sections \
         	"${testPkgs.base-nova.coreObj}" boot_modules.o \
         	-o $out/image.elf
-      '';
+      '' + nixpkgs.lib.optionalString gzip "gzip $out/image.elf";
     };
 
   mergeManifests = inputs: