The proprietary driver shouldn't be used with a realtime enabled kernel. The reason is that it makes the kernel hang for a few seconds every few minutes, and thus disconnects ardour from jack, for example. One should use the open source driver "ati", which supports many of ati's cards.