Kernel.org: 4.20.10
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

Jetway: j7f2weeden12g

PCI IDWorks?VendorDeviceDriverKernel
12838872YesIntegrated Technology Express, Inc.IT8874F PCI Dual Serial Port Controllerparport_pcv2.6.25-

laeuft mit xen (ctserver2)