Wikipedia
PowerTV
The PowerTV Operating System (PTVOS) is Scientific Atlanta's real-time operating system for set top boxes and other similar devices. First commercial deployment was on the Explorer 2000, SA's first digital cable box. The OS comes with a complete C library, an HTML engine for HTML rendering, and a full TCP/IP stack. Application development can be done using C or C++, or using PersonalJava. Compiler/linker etc. are available via Cygnus Solutions.