> It should be possible to use it with the "normal" kernel headers package > (after installing kernel-rt-devel, of course). Confirmed that this works just fine. Thanks for the tip. - Mike Lococo