Re: The behavior of scheduler in L4Linux on ARM architecture