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 R940

PCI IDWorks?VendorDeviceDriverKernel
80860154Intel Corporation3rd Gen Core processor DRAM Controller
80860166YesIntel Corporation3rd Gen Core processor Graphics Controlleri915v3.0.0-
80861e31Intel Corporation7 Series/C210 Series Chipset Family USB xHCI Host Controller
80861e3aIntel Corporation7 Series/C210 Series Chipset Family MEI Controller #1
80861503YesIntel Corporation82579V Gigabit Network Connectione1000ev2.6.38-
80861e2dIntel Corporation7 Series/C210 Series Chipset Family USB Enhanced Host Controller #2
80861e20YesIntel Corporation7 Series/C210 Series Chipset Family High Definition Audio Controllersnd-hda-intel
80861e10Intel Corporation7 Series/C210 Series Chipset Family PCI Express Root Port 1
80861e12Intel Corporation7 Series/C210 Series Chipset Family PCI Express Root Port 2
80861e14Intel Corporation7 Series/C210 Series Chipset Family PCI Express Root Port 3
80861e1aIntel Corporation7 Series/C210 Series Chipset Family PCI Express Root Port 6
80861e26Intel Corporation7 Series/C210 Series Chipset Family USB Enhanced Host Controller #1
80861e59YesIntel CorporationHM76 Express Chipset LPC ControlleriTCO_wdt
80861e03YesIntel Corporation7 Series Chipset Family 6-port SATA Controller [AHCI mode]ahci
1180e822YesRicoh Co LtdMMC/SD Host Controllersdhci-pci
8086088eYesIntel CorporationCentrino Advanced-N 6235iwlwifi