On Sun, Feb 28, 2016 at 03:50:06PM -0500, David Michael wrote: > On Sun, Feb 28, 2016 at 3:37 PM, Richard Braun <rbr...@sceen.net> wrote: > > On Sun, Feb 28, 2016 at 03:27:50PM -0500, David Michael wrote: > >> The same GRUB has no problem booting older gnumach (bee3f0) or Linux. > >> Are you aware of any patches required by GRUB to boot the X15 > >> multiboot/biosmem bits? > > > > Thanks for your report. > > > > It's not related to GRUB at all apparently. My guess is something got > > wrong in the Linux glue code for in kernel drivers. Could you build > > gnumach with --disable-net-group --disable-pcmcia-group > > --disable-wireless-group and try again please ? > > Yes, that did it. The latest gnumach can be booted with GRUB when > those options are disabled.
It seems we've been having this bug for a long time, but noone is using the in-kernel drivers for these boards any more, since the Debian packages don't include them, only the userspace DDE ones. -- Richard Braun
