On Mon, Mar 7, 2016 at 8:56 PM, Richard Braun <rbr...@sceen.net> wrote: > 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) ?
Yes, this was when booting gnumach in QEMU with -device rtl8139 for a net device. David
