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.
This commit is contained in:
Alexander Boettcher 2015-09-03 11:04:27 +02:00 committed by Christian Helmuth
parent d7da035115
commit 24e65e2e39

View File

@ -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
}