Hi Nicola, google for "KXStudio", perhaps it provides linux-rt for Ubuntu 13.04, if not, then I can explain how you can build your own kernel-rt. Since I'm short in time, I only will do it, if no linux-rt should be available by a repository. Regards, Ralf