Bug#752228: os-prober for GNU/Hurd: invalid gnumach kernel image name

Package: grub-pc Version: 1.99+deb7u2 Severity: minor I suggest a trivial change in the '30_os-prober' script located in /etc/grub.d/, regarding the boot of the 'gnumach' kernel of the operating system 'GNU/Hurd'. When GNU/Hurd is installed by the package 'crosshurd' at a specified install

Bug#750980: gnumach.gz not installed in /boot

Package: crosshurd Version: 1.7.45 Severity: important Dear Maintainer, I ran the latest 1.7.45 version of crosshurd on Ubuntu 14.04 LTS. It didn't install the gnumach kernel under /boot/gnumach.gz in the target partition, as it should. I think it has something to do with the fact, that the