ich hab ne x1600 der treiber funktioniert, aber das kernel-modul lässt sich nicht kompilieren, liegt aber wahrscheinlich daran, dass ich nicht den original debian sondern einen, eigenen, gepatchten kernel benutze ... für meine alte x1200 habe ich immer den "ati" treiber von X.Org benutzt soweit ich weiss, sollte der auch mit der x1250 funktionieren (mit 3d versteht sich)