On Tue, Mar 08, 2016 at 12:15:25PM -0500, David Michael wrote:
> So unless rtl8139 bits are still hidden somewhere (grep only finds
> some PCI ID definitions), it looks like there may be a different
> problem.
Building GNU Mach with :
--enable-silent-rules --enable-kdb --enable-ide --disable-rtl81
On Tue, Mar 08, 2016 at 12:15:25PM -0500, David Michael wrote:
> I've just removed linux/src/drivers/net/rtl8139.c and dropped all
> references to rtl8139 from the following files
Please use --disable-rtl8139 instead, and only use GRUB as configured
by Debian so that we restrict the variables of o
