A lightweight, memory-protected, message-passing kernel for deeply embedded systems. - View it on GitHub