Shadow and dust.
Location:Pittsburgh, PA
A lightweight, memory-protected, message-passing kernel for deeply embedded systems.