Advanced Real-Time Linux (ART-Linux) is a hard real-time kernel developed with robotics applications in mind. Real-Time is accessible from user level and does not require special device drivers.
Platform: All POSIX (Linux/BSD/UNIX-like OSes), Linux;License: GNU General Public License (GPL)
Reference:https://art-linux.sourceforge.net