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

AMD: GX2 Thin client

PCI IDWorks?VendorDeviceDriverKernel
100b0028National Semiconductor CorporationGeode GX2 Host Bridge
100b0030YesNational Semiconductor CorporationGeode GX2 Graphics Processorgxfbv2.6.25-
10ec8139YesRealtek Semiconductor Co., Ltd.RTL-8139/8139C/8139C+8139cp,8139toov2.6.25-
100b002bYesNational Semiconductor CorporationCS5535 ISA bridgeleds-alix2,cs5535_gpiov2.6.25-
100b002dYesNational Semiconductor CorporationCS5535 IDEcs5535v2.6.25-
100b002eYesNational Semiconductor CorporationCS5535 Audiosnd-cs5535audiov2.6.25-
100b002fNational Semiconductor CorporationCS5535 USB
100b002fNational Semiconductor CorporationCS5535 USB