hharte/hubris

A lightweight, memory-protected, message-passing kernel for deeply embedded systems.