I am trying to figure out if the realtek 8139 10/100 net chip is
supported.  It is listed in the known pci devices, but I cannot seem
to identify which driver is appropriate.  Is it ne, same as other
realtek chips (the ne man page doesn't mention the 8139)?

In general, how does one find a correspondence between listed devices
(e.g., in pcidevs_data.h) and drivers?

Thanks for your help.

Cheers,
Brook