SBS knows RTOS
SBCs and I/O hardware working together out of the box
www.sbs.com

Open Source RTOS Kernel
Demo apps. for ARM7, AVR, PIC, x86 8051, MSP430 - free tools
www.FreeRTOS.org

Embedded Controllers
Low cost I/O-rich industrial computers for real time control
www.mosaic-industries.com

Embedded Systems Courses
Introduction to Embedded Software, Use of Real Time Operating Systems
www.KalinskyAssociates.com