Is this RTLinux [1] or Real-Time Linux [2] ? [1] https://en.wikipedia.org/wiki/RTLinux https://en.wikipedia.org/wiki/RTLinux [2] https://en.wikipedia.org/wiki

Is this RTLinux [1] or Real-Time Linux [2] ? [1] https://en.wikipedia.org/wiki/RTLinux https://en.wikipedia.org/wiki/RTLinux [2] https://en.wikipedia.org/wiki/Linux_Foundation#Real-Time_Linux https://en.wikipedia.org/wiki/Linux_Foundation#Real-Time_Lin...