Core Flight Executive (cFE)
http://sourceforge.net/projects/coreflightexec/files/cFE-6.1.1/The Core Flight Executive is a portable, platform independent embedded system framework developed by NASA Goddard Space Flight Center. This framework is used as the basis for the flight software for satellite data systems and instruments, but can be used on other embedded systems. The Core Flight Executive is written in C and depends on [...]