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 .