Before revision: Hypothetically some operating systems used in embedded systems could be more widely used than some mentioned above.
After revision: It is possible that some operating systems used in embedded systems could be more widely used than some mentioned above.