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