Hi list, I just found this web site herehttp://www.esol.co.jp/english/embedded/et-kernel_posix.html?gclid=CIfIj_aX95gCFQwSegodFC7vmgwhich claims to develop POSIX-compliant realtime OS providing full support for pthread, signal, and IPC (Inter Process Communication) on the system level.