jal/operating systems

Set of very small sized commercial RTOS for various architectures

"Introduction to Cross-development for Embedded Linux"
From the page: "This document is a brief introduction to cross-development for embedded systems on the Linux platform. It is aimed at software professionals who do not have any background in embedded device development. Working knowledge about software development in general and on Linux in particular is expected. The document quotes several external sources of information and provides links to all of them for further exploration."

From the page: "Unison Operating System

Ultra Tiny Embedded Linux and POSIX Compatible RTOS

The Unison Operating System has been in the field for many years and hundreds of applications have been fielded using its ultra tiny size, Linux and POSIX interface compatibility and its seamless integration for microcontroller development. It is fast and easy to use. "

Windows for embbed devices portal

From the page: "Steps needed to install Windows Embedded CE 6.0 from scratch"

Installing Windows Embedded CE 6.0 on Windows 7 - 32bits only!
see:
blogs.msdn.com/mikehall/archive/2009/06/22/ce-6-0-tools-on-64-bit-windows.a... [blogs.msdn.com/mikehall/archive/2009/06/22/ce-6-0-tools-on-64-bit-windows.a...]

From the page: "QPâ,,¢ is a family of very lightweight, open source, state machine-based frameworks for embedded microprocessors, microcontrollers, and DSPs. QPâ,,¢ enables developing well-structured embedded applications as a set of concurrently executing hierarchical state machines (UML statecharts). With QPâ,,¢, coding of modern state machines directly in C or C++ is a non-issue. No big design automation tools are needed.
Practical UML Statecharts in C/C++, 2nd Ed.

Current versions of QPâ,,¢ are: QP/Câ,,¢ and QP/C++â,,¢, which require about 4KB of code and a few hundred bytes of RAM, and the ultra-lightweight QP-nano, which requires only 1-2KB of code and just several bytes of RAM.

QPâ,,¢ can work with or without a traditional OS/RTOS. In the standalone configuration, QPâ,,¢ can completely replace a traditional RTOS. QPâ,,¢ includes a simple non-preemptive scheduler and a fully preemptive kernel (QK). The QP/C and QP/C++ frameworks can also work with a traditional OS/RTOS to take advantage of existing device drivers, communication stacks, and other middleware.

All versions of QPâ,,¢ are described in detail in the book Practical UML Statecharts in C/C++, Second Edition: Event-Driven Programming for Embedded Systems by Dr. Miro Samek, (ISBN: 978-0750687065). QPâ,,¢ has a strong user community and has been applied worldwide by some of the largest companies in their respective industries, such as: consumer electronics, telecommunications equipment, industrial automation, transportation systems, medical devices, national defense, and many more. "

From the page: "Practical UML Statecharts in C/C++, Second Edition:
Event-Driven Programming for Embedded Systems"