Strange L4Linux behavior