L4 NICTA::Pistachio-embedded is a version of the L4 microkernel, based on L4Ka::Pistachio, designed for embedded systems.