I wrote: > Anyway, *both* versions say kernel=/boot/gnumach and > module=/boot/serverboot where the filenames should have an extra > ".gz" at the end. > > -John Oh, this assumes the boot disk at ftp://ftp.gnu.org/pub/gnu/gnu-0.2/grub-boot.image handles gz's. If not, we ought to point to a newer boot image or tell people to gunzip their gnumach and serverboot before booting. -John