L4/Linux problem