Hoi fearbear,
De ondersteuning voor RTL8139 is al redelijk lang voorzien in de kernel... Je hebt normaal zeker geen externe drivers nodig...
Als deze ondersteuning in je kernel is ingebakken (ingecompileerd) dan zul je inderdaad geen module terugvinden, maar de kernel ondersteunt de kaart dan normaal wel.
Je kunt de RTL8139 driver echter ook compileren als kernel module, en dan moet deze wel in /lib/modules/*insert kernel version* terug te vinden zijn...
EDIT:
de naam van de module is wel 8139too.ko tegenwoordig (net ff opgezocht), in plaats van de 8139.o die jij hierboven vermeld... mss gewoon eens zien wat
modprobe 8139too
uithaalt...
Als je probleem daarmee is opgelost kun je 8139too toevoegen aan de files /etc/modules, zodat de module bij de volgende boot automatisch geladen wordt
8139too.ko levert ook ondersteuning voor de 8129 en 8130 chipsets, btw
END EDIT
Ik weet niet of jouw standaard Debian kernel de ondersteuning voor RTL8139 überhaupt meegecompileerd heeft gekregen (hoewel ik zou verwachten van wel, aangezien de onze (zie hieronder) die kaarten meteen ondersteunt, maar het is dan wel heel raar dat je de kernel modules niet terugvindt :s)...
Je kunt controleren in hoeverre RTL8139 ondersteunt wordt in je kernel door het config-*insert kernel version* bestand in de /boot directory in te kijken en te zoeken naar 8139
Op een van de debian machines die wij hier staan hebben (is zeer recent geïnstalleerd met een stable 64bit etch) is RTL8139 alvast gewoon meteen ondersteund door de standaard kernel (2.6.18-5-amd64)
stukje uit de kernel config file:
CONFIG_8139CP=m
CONFIG_8139TOO=m
# CONFIG_8139TOO_PIO is not set
CONFIG_8139TOO_TUNE_TWISTER=y
CONFIG_8139TOO_8129=y
# CONFIG_8139_OLD_RX_RESET is not set
De modules die in de config file worden aangegeven staan dan ook mooi in de directory /lib/modules/2.6.18-5-amd64/kernel/drivers/net
(zonder iets speciaals te moeten doen dus, gewoon na standaard installatie)
Als je de kernel config moet aanpassen: je kunt de RTL8139 ondersteuning vinden onder Device Drivers->Network device support->Ethernet (10 or 100 Mbit)
Vertrek liefst van de bestaande /boot/config-*insert kernel version* als je zelf een kernel compileert... dan ben je zeker dat je niets anders vergeet aan te vinken (zoals de ondersteuning voor de chipset/IDE/SATA van je moederbord, zonder dewelke de kernel je harde schijven niet ziet)
Mvg,
Unicorn