Embox Embox is a configurable operating system kernel designed for resource constrained and embedded systems. TBD