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: Satellite 4030CDS

PCI IDWorks?VendorDeviceDriverKernel
80867192YesIntel Corporation440BX/ZX/DX - 82443BX/ZX/DX Host bridge (AGP disabled)ignore
1179060fYesToshiba America Info SystemsToPIC97yenta_socketv2.6.25-
1179060fYesToshiba America Info SystemsToPIC97yenta_socketv2.6.25-
10239525YesTrident MicrosystemsCyber 9525tridentfbv2.6.25-
80867110YesIntel Corporation82371AB/EB/MB PIIX4 ISAignore
80867111YesIntel Corporation82371AB/EB/MB PIIX4 IDEata_piixv2.6.25-
80867112YesIntel Corporation82371AB/EB/MB PIIX4 USBusb-uhci,uhci-hcd
80867113YesIntel Corporation82371AB/EB/MB PIIX4 ACPIi2c-piix4v2.6.25-
11c10441Agere Systems56k WinModem
11790701YesToshiba America Info SystemsFIR Port Type-Odonauboev2.6.25-
125d1978YesESS TechnologyES1978 Maestro 2Eradio-maestro,snd-es1968v2.6.25-