I just thought the group would be interested to know that there is some work to make the "regular" kernel work at real-time, using a kernel modification and a file called rtkit. See Ubuntu bugs related to rtkit, including the following 406702