See List of real-time operating systems for a full list .
See the list of real-time operating systems for a comprehensive list .