Kernel.org: 5.1.11
sid (unstable): 4.19.37-3
buster (testing): 4.19.37-3
stretch (stable): 4.9.168-1+deb9u3
jessie (oldstable): 3.16.68-2

Debian GNU/Linux device driver check & report

HP: pavilion 8731c

PCI IDWorks?VendorDeviceDriverKernel
80867124YesIntel Corporation82810E DC-133 (GMCH) Graphics Memory Controller Hubagpgart
80867125YesIntel Corporation82810E DC-133 (CGC) Chipset Graphics ControllerXFree86,XFree86
80862418YesIntel Corporation82801AA PCI Bridgei810_rng
80862410YesIntel Corporation82801AA ISA Bridge (LPC)intel-rng,iTCO_wdtv2.6.25-
80862411YesIntel Corporation82801AA IDE Controllerata_piixv2.6.25-
80862412YesIntel Corporation82801AA USB Controllerusb-uhci,uhci-hcd
80862413YesIntel Corporation82801AA SMBus Controlleri2c-i801v2.6.25-
127a4310Yessnd-riptidev2.6.18-
127a4311Rockwell InternationalRiptide HSF 56k PCI Modem
127a4312