[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Re: Installing gnumach (installation guide part 2)

> 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.

Reply to: