Kernel.org: 5.3.7
sid (unstable): 5.3.7-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: ProBook 4510s (VC430EA)

PCI IDWorks?VendorDeviceDriverKernel
80862a40YesIntel CorporationMobile 4 Series Chipset Memory Controller Hubintel-agp
80862a41Intel CorporationMobile 4 Series Chipset PCI Express Graphics Port
80862937Intel Corporation82801I (ICH9 Family) USB UHCI Controller #4
80862938Intel Corporation82801I (ICH9 Family) USB UHCI Controller #5
80862939Intel Corporation82801I (ICH9 Family) USB UHCI Controller #6
8086293cIntel Corporation82801I (ICH9 Family) USB2 EHCI Controller #2
8086293eYesIntel Corporation82801I (ICH9 Family) HD Audio Controllersnd-hda-intel
80862940Intel Corporation82801I (ICH9 Family) PCI Express Port 1
80862942Intel Corporation82801I (ICH9 Family) PCI Express Port 2
80862944Intel Corporation82801I (ICH9 Family) PCI Express Port 3
80862948Intel Corporation82801I (ICH9 Family) PCI Express Port 5
8086294aIntel Corporation82801I (ICH9 Family) PCI Express Port 6
80862934Intel Corporation82801I (ICH9 Family) USB UHCI Controller #1
80862935Intel Corporation82801I (ICH9 Family) USB UHCI Controller #2
80862936Intel Corporation82801I (ICH9 Family) USB UHCI Controller #3
8086293aIntel Corporation82801I (ICH9 Family) USB2 EHCI Controller #1
80862448YesIntel Corporation82801 Mobile PCI Bridgei810_rng
80862919YesIntel CorporationICH9M LPC Interface ControlleriTCO_wdtv2.6.28-
80862929YesIntel CorporationICH9M/M-E SATA AHCI Controllerahciv2.6.25-
10029552YesATI Technologies IncM92 LP [Mobility Radeon HD 4300 Series]radeonv2.6.35-
1002aa38YesATI Technologies IncRV710/730snd-hda-intelv2.6.26-
14e44315YesBroadcom CorporationBCM4312 802.11b/g LP-PHYssbv2.6.30-
11ab436cYesMarvell Technology Group Ltd.88E8072 PCI-E Gigabit Ethernet Controllersky2v2.6.24-

Very poor ACPI support. In X Fn+F{1..12, etc} keys almost doesn't work (I mess with it for a 1 year with my friend. (2011-01-06 16:10:36)