genodelabs/genode — Issue #97: Error booting gzip-compressed OKL4 image from USB stick
Author: cproc
Created: 2012-02-02 18:51:54+00:00
State: open

The problem can be reproduced with Qemu by building the demo scenario and starting Qemu with the following command:

```
qemu-system-i386 -m 256 -serial mon:stdio -hda var/run/demo.iso
```

GRUB error output:

```
Booting 'Genode on OKL4'

kernel /image.elf.gz

Error 13: Invalid or unsupported executable format
```
It works fine when booting the ISO image as CD-ROM (using '-cdrom' instead of '-hda' in the Qemu command) or when the ELF image is not gzip-compressed.