Re: realtek 8139

[Alfred M. Szmidt]

   Hey thanks for the patch, but i just edited rtl8139.c myself and
   changed the pci ids the driver searched for to the one's
   corresponding to my card. I also looked at the latest rtl8139.c
   driver for linux and it has a lot of improvements that should be
   added to GNU Mach (the 1 branch at least) for more card
   compatibility. I'll try out the patch and see how it works.

Mmm... I don't see how you can twiddle the PCI ID's for the RTL8139
driver, because they don't exist; but maybe I missed something.  As
for my patch, it is the latest RTL8139 driver. :-)