Communication between L4Linux tasks and L4re tasks