Hi, I have installed kernel-rt 3.0.17-1.rt33.1.fc16.ccrma,kernelfrom Fedora 16. I have installed kernel-devel,tools,libs.but it does not contain kernel headers.for example rtl.h is not available.so i am not able to build kernel pthread programmes.what can i do?.