Kernel.org: 5.3.7
sid (unstable): 5.2.17-1
buster (testing): 4.19.67-2+deb10u1
stretch (stable): 4.9.189-3+deb9u1
jessie (oldstable): 3.16.74-1

Debian GNU/Linux device driver check & report

HP: 710

PCI IDWorks?VendorDeviceDriverKernel
80861130YesIntel Corporation82815 815 Chipset Host Bridge and Memory Controller Hubagpgart
80861132YesIntel Corporation82815 Chipset Graphics Controller (CGC)XFree86,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
80862415YesIntel Corporation82801AA AC'97 Audio Controllersnd-intel8x0v2.6.25-
134d7892PCTel IncHSP MicroModem 56
10ec8139YesRealtek Semiconductor Co., Ltd.RTL-8139/8139C/8139C+8139cp,8139toov2.6.25-