> FOR DEVELOPERS: Does installing a kernel requires packaging scripts? Maybe. > We can offer updating GRUB if necessary or similar.
It should not. The kernel always goes in /boot/gnumach (though it doesn't really matter--just that your grub config loads it whereever it is), and there is nothing else to be done about it for a new kernel. One needs to install GRUB, and that has hairy issues; but installing a new gnumach does not change what one does with GRUB and the Hurd.
