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

System76: Galago UltraPro 1

PCI IDWorks?VendorDeviceDriverKernel
80860d04Intel CorporationCrystal Well DRAM Controller
80860d26Intel CorporationCrystal Well Integrated Graphics Controller
80860d0cIntel CorporationCrystal Well HD Audio Controller
80868c31Intel Corporation8 Series/C220 Series Chipset Family USB xHCI
80868c3aIntel Corporation8 Series/C220 Series Chipset Family MEI Controller #1
8086153bIntel CorporationEthernet Connection I217-V
80868c2dIntel Corporation8 Series/C220 Series Chipset Family USB EHCI #2
80868c20Intel Corporation8 Series/C220 Series Chipset High Definition Audio Controller
80868c10Intel Corporation8 Series/C220 Series Chipset Family PCI Express Root Port #1
80868c12Intel Corporation8 Series/C220 Series Chipset Family PCI Express Root Port #2
80868c16Intel Corporation8 Series/C220 Series Chipset Family PCI Express Root Port #4
80868c26Intel Corporation8 Series/C220 Series Chipset Family USB EHCI #1
80868c4bYesIntel CorporationHM87 Express LPC ControlleriTCO_wdt
80868c03Intel Corporation8 Series/C220 Series Chipset Family 6-port SATA Controller 1 [AHCI mode]
80868c22YesIntel Corporation8 Series/C220 Series Chipset Family SMBus Controlleri2c-i801
10ec5229Realtek Semiconductor Co., Ltd.RTS5229 PCI Express Card Reader
168c0034YesQualcomm AtherosAR9462 Wireless Network Adapterath9k