* "H. Peter Anvin" <hpa at zytor.com>: | > Ungzipped? Grub able to boot it in gzipped format. | It wouldn't be particularly hard to add decompression support, but it's | not there at the moment. Could you please add it to your TODO list? :-)