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

Debian GNU/Linux device driver check & report

HP: VL400

PCI IDWorks?VendorDeviceDriverKernel
80861130YesIntel Corporation82815 815 Chipset Host Bridge and Memory Controller Hubagpgart
80861131Intel Corporation82815 815 Chipset AGP Bridge
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-
80862415YesIntel Corporation82801AA AC'97 Audio Controllersnd-intel8x0v2.6.25-
10b79200Yes3Com Corporation3c905C-TX/TX-M [Tornado]3c59xv2.6.25-
102b0525YesMatrox Graphics, Inc.MGA G400/G450matroxfb_base,matrox_w1v2.6.25-