Debian HCL; Debian GNU/Linux device driver check & report

PCI ID	Works?	Vendor	Device	Driver	Kernel
10029710	Yes	Advanced Micro Devices, Inc. [AMD/ATI]	RS880 [Radeon HD 4200]	radeon	v2.6.35-

You can help us!

Could you give me more information about your machine? Your information (PCI list and text you write below) is used only for making our HCL database better.

Machine (or motherboard) vendor: (Other: )

Product (or motherboard) name:
(For example "Let's Note Y2")

Any comments? (such as "XXXXXXXX works with XXX driver.")
NOTICE: Because what you write here will be shown as is, you should not write any personal informations, such as your mailing address. Also, questions are usually left unanswered.