Neel Mehta wrote:
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?
The best approach is to use the real-time Linux version which doesn't
have a name today.
It is the version PREEMPT_RT Real-Time-Linux ... I'm not sure if this
is the right name??
Or was it RT_PREEMPT Linux ?? Or was it RT-Preempt ??
However ... it's the Linux version which will be derived from the
standard kernel by applying the PREEMPT_RT patch
--Armin
--
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
