Hi, About a year ago, you reported a bug to the Debian BTS regarding DRI not working on a savage4 board. Did you reproduce this problem recently? If not, I will close this bug in the next weeks. Thanks, Brice