Original: These are the best known, most widely deployed real-time operating systems.
Simplified: These are the best known, most widely used real-time operating systems.