A lightweight, memory-protected, message-passing kernel for deeply embedded systems.
An implementation of Actor, Publish-Subscribe, and CSP models in one rather small C++ framework. With performance, quality, and stability proved by years in the production.