I'm trying to install RTLinux on my PC (FC4). However, I have some difficulties especially during the boot of the new kernel... I was wondering if someone already managed to install RTLinux on FC4. If yes, could you please give me the version of linux kernel, rtlinux, GNU compiler, etc... you used? Thanks, Agathe