Hello, I am new to this and have a couple of questions. I was wondering what is the most stable version of the RTLinux kernel and what version of the linux kernel is needed? Right now I want to set RTLinux up on a 166mhz Pentium PC with RedHat. I was also wondering where I could find the most recent installation guide? Thanks, Miguel