The Embedded operating system reference article from the English Wikipedia on 24-Apr-2004
(provided by Fixed Reference: snapshots of Wikipedia from wikipedia.org)

Embedded operating system

Helping orphans the way you would do it
An embedded operating system is an operating system for embedded systems. These operating systems are designed to be very compact and efficient, forsaking many functionalities that non-embedded computer operating systems provide which may not be used by the specialized applications they run. They are frequently also real-time operating systems.

Embedded operating systems include: