http://www.rtems.org/
You can reach me by email at chrisj@rtems.org
RTEMS is a free real-time operating system for deeply embedded systems.
Long time community member and developer.