I've had no success with any of the 3.x real-time kernels so far.
The GUI does not respond.
Graphical terminals freeze.
Often jack(dbus) doesn't start or freezes too.
It seems, the GUI doesn't get enough CPU cycles.
Although the system load appears very low !
Is this a known issue ?
My mis-configuration ?
Can someone point to a working kernel or config for debian/ubuntu 64bit ?