Ron Fox asked that question in his 2008-07-15 post, and I, too, have been looking around for kernel-rt-devel without any success. Obliged for good advice: Mathias Wittekopf Composer & Sounddesigner Bochum, Germany