Kernel.org: 4.12
sid (unstable): 4.11.6-1
stretch (testing): 4.9.30-2+deb9u2
jessie (stable): 3.16.43-2+deb8u2
wheezy (oldstable): 3.2.89-2

Debian GNU/Linux device driver check & report

Toshiba: Tecra R800 (Toshiba notebook)

PCI IDWorks?VendorDeviceDriverKernel
80861237Intel Corporation440FX - 82441FX PMC [Natoma]
80867000Intel Corporation82371SB PIIX3 ISA [Natoma/Triton II]
80867111YesIntel Corporation82371AB/EB/MB PIIX4 IDEata_piixv2.6.25-
80eebeefYesInnoTek Systemberatung GmbHVirtualBox Graphics Adaptervirtualbox-ose-guest-x11
8086100eYesIntel Corporation82540EM Gigabit Ethernet Controllere1000
80eecafeInnoTek Systemberatung GmbHVirtualBox Guest Service
80862415YesIntel Corporation82801AA AC'97 Audio Controllersnd_intel8x0v2.6.25-
106b003fYesApple Inc.KeyLargo/Intrepid USBusb-ohci,ohci-hcd
80867113YesIntel Corporation82371AB/EB/MB PIIX4 ACPIi2c_piix4v2.6.25-
8086265cYesIntel Corporation82801FB/FBM/FR/FW/FRW (ICH6 Family) USB2 EHCI Controllerehci-hcd
80862829YesIntel Corporation82801HM/HEM (ICH8M/ICH8M-E) SATA Controller [AHCI mode]ahciv2.6.25-