Kernel.org: 4.20.11
sid (unstable): 4.19.20-1
buster (testing): 4.19.16-1
stretch (stable): 4.9.144-3
jessie (oldstable): 3.16.59-1

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-