Before revision: It is possible that some operating systems used in embedded systems could be more widely used than some mentioned above .
After revision: Some operating systems used in embedded systems are more widely used than some of those mentioned above; for example, modern Intel microprocessors contain an embedded management processor running a version of the Minix operating system .