> Have you tried to install the package kernel-rt-devel ? I just did > some driver compilation using the rt kernel and that package for the > headers. Yes, I have that one. But the driver barfs at a missing linux/config.h which I think is in the headers package. Louis