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

Debian GNU/Linux device driver check & report

HP: pavillon t3228.fr

PCI IDWorks?VendorDeviceDriverKernel
10025950ATI Technologies IncRS480 Host Bridge
10025a3fATI Technologies IncRS480 PCI Bridge
10024379YesATI Technologies IncIXP SB400 Serial ATA Controllersata_silv2.6.25-
10024374ATI Technologies IncIXP SB400 USB Host Controller
10024375ATI Technologies IncIXP SB400 USB Host Controller
10024373ATI Technologies IncIXP SB400 USB2 Host Controller
10024372YesATI Technologies IncIXP SB400 SMBus Controlleri2c-piix4v2.6.25-
10024376YesATI Technologies IncIXP SB400 IDE Controllerpata_atiixpv2.6.25-
10024377ATI Technologies IncIXP SB400 PCI-ISA Bridge
10024371ATI Technologies IncIXP SB400 PCI-PCI Bridge
10025954YesATI Technologies IncRS480 [Radeon Xpress 200G Series]radeonv2.6.35-
13f60111YesC-Media Electronics IncCM8738snd-cmipciv2.6.25-
10ec8139YesRealtek Semiconductor Co., Ltd.RTL-8139/8139C/8139C+8139cp,8139toov2.6.25-