On Tue, Mar 08, 2016 at 12:00:03AM +0100, Richard Braun wrote: > On Sun, Feb 28, 2016 at 03:50:06PM -0500, David Michael wrote: > > 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.
Can you confirm that your board is a realtek 8139 (or compatible) ? -- Richard Braun