Hi. I am new to real time linux os. I need to set up one. I came across two realtime linux os/kernels/patches, and there may be more. I came across http://www.rtlinuxfree.com/ and https://www.rtai.org/. Are there more such patches? Is anyone better? What do people use normally? I need to set up realtime linux to get results from sensors every periodic intervals. I want this to be hard realtime. Any help will be greatly appreciated. Instructions or links for compilation will also be very helpful. Thanks and Regards, Neel Mehta Third year Undergraduate student, Electrical Engineering, IIT Bombay -- To unsubscribe from this list: send the line "unsubscribe linux-rt-users" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html
