I had to swap out a borrowed ethernet card from my debian 3 box. This was using the 3c59x driver. I got my hands on a Belkin F5D5000 card. To my understanding, this card requires the 8139too driver which is not installed with debian. I found a site and downloaded a file named 8139too.o. What do I need to do with this file to create the driver? and how do I reconfigure Debian to use this new driver?