Look inside the kernel configuration, it could be a 
kernel compiler option.
Also modprobe -l |grep rtl8139 might help you locate it.

> -----Original Message-----
> From: Leo J Mauler [mailto:webgiant@juno.com]
> Sent: Friday, January 09, 2004 1:01 PM
> To: kclug@kclug.org
> Subject: RealTek RTL8139 Linux driver for Debian install?
> 
> 
> Debian 3.0_r0 doesn't seem to have any network card drivers 
> for my 10/100
> NIC.  It uses the RealTek RTL8139 chipset, and I thought there was a
> RTL8139 driver for it in Linux.  Its not an option in the
> kernel/drivers/net modules section.
> 
> ________________________________________________________________
> The best thing to hit the internet in years - Juno SpeedBand!
> Surf the web up to FIVE TIMES FASTER!
> Only $14.95/ month - visit www.juno.com to sign up today!
> 
> 
> majordomo@kclug.org
>