From 24e65e2e3917598b7a3847d1d0a0a428713d7f2d Mon Sep 17 00:00:00 2001
From: Alexander Boettcher <alexander.boettcher@genode-labs.com>
Date: Thu, 3 Sep 2015 11:04:27 +0200
Subject: [PATCH] nova: don't unzip images with grub

Causes trouble if a gz image is loaded via grub and later used as initrd for a
Linux VM (e.g. with Seoul VMM)

Discovered during Turmvilla scenario #1552 and issue #1733.
---
 tool/run/boot_dir/nova | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tool/run/boot_dir/nova b/tool/run/boot_dir/nova
index 9a47b3d16..5be441699 100644
--- a/tool/run/boot_dir/nova
+++ b/tool/run/boot_dir/nova
@@ -64,7 +64,7 @@ proc run_boot_dir {binaries} {
 		puts $fh " module /genode/config"
 		foreach binary $binaries {
 			if {$binary != "core"} {
-				puts $fh " module /genode/$binary" } }
+				puts $fh " modulenounzip /genode/$binary" } }
 		close $fh
 	}