>So: has anyone any idea what driver we should use? That should be a ThunderLan (TLAN). Entering "Compaq 10/100 TX PCI UTP Linux" into google gave me the answer in the first three results.