Kernel.org: , 
sid (unstable): 3.9.6-1
wheezy (testing): 3.2.46-1
kmuto bpo d-i: 
squeeze-bpo: 3.2.41-2+deb7u2~bpo60+1
squeeze (stable): 
lenny (oldstable): 

Debian GNU/Linux device driver check & report

Compaq: ARMADA 7400

PCI IDWorks?VendorDeviceDriverKernel
0e11ae6cCompaq Computer CorporationNorthstar
0e11ae6cCompaq Computer CorporationNorthstar
104cac16YesTexas InstrumentsPCI1250yenta_socketv2.6.25-
104cac16YesTexas InstrumentsPCI1250yenta_socketv2.6.25-
0e11ae69Compaq Computer CorporationCETUS-L
0e11ae33YesCompaq Computer CorporationTriflex Dual EIDE Controllerpata_triflexv2.6.25-
0e11a0f8YesCompaq Computer CorporationZFMicro Chipset USBusb-ohci,ohci-hcd
53338c01YesS3 Inc.ViRGE/MXs3virge
10ec8139YesRealtek Semiconductor Co., Ltd.RTL-8139/8139C/8139C+8139cp,8139toov2.6.25-